First Page | Document Content | |
---|---|---|
Date: 2018-06-13 06:07:43Application 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, MAAdd to Reading ListSource URL: alloytools.orgDownload Document from Source WebsiteFile Size: 3,76 MBShare Document on Facebook |