Back to Results
First PageMeta Content
Application software / Computing / Software / Alloy / Massachusetts Institute of Technology / Z notation / Ls / ROOT / Specification / Formal specification


Reducing the Evolutionary Analysis Cost of Alloy Hamid Bagheri Workshop on the Future of Alloy April 30 & May 1, 2018. Cambridge, MA
Add to Reading List

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


Open Document

File Size: 3,76 MB

Share Result on Facebook