Toward a More Complete Alloy

Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi. Toward a More Complete Alloy. In John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7316 of Lecture Notes in Computer Science, pages 136-149, Springer, 2012. [doi]

Authors

Timothy Nelson

This author has not been identified. Look up 'Timothy Nelson' in Google

Daniel J. Dougherty

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

Kathi Fisler

This author has not been identified. Look up 'Kathi Fisler' in Google

Shriram Krishnamurthi

Identified as Shriram Krishnamurthi