Toward a More Complete Alloy

Abstract State Machines, Alloy, B, VDM, and Z - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30885-7_10 ◽

2012 ◽

pp. 136-149 ◽

Author(s):

Timothy Nelson ◽

Daniel J. Dougherty ◽

Kathi Fisler ◽

Shriram Krishnamurthi

Download Full-text