Back to Results
First PageMeta Content
Formal methods / Computing / Alloy / Massachusetts Institute of Technology / Z notation / Software engineering / Modeling languages / Object Process Methodology / Economic model


Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva
Add to Reading List

Document Date: 2018-06-13 06:07:43

Open Document

File Size: 283,76 KB

Share Result on Facebook