An Imperative Extension to Alloy

Joseph P. Near, Daniel Jackson. An Imperative Extension to Alloy. In Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves, editors, Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Volume 5977 of Lecture Notes in Computer Science, pages 118-131, Springer, 2010. [doi]

Authors

Joseph P. Near

This author has not been identified. Look up 'Joseph P. Near' in Google

Daniel Jackson

This author has not been identified. Look up 'Daniel Jackson' in Google