Towards an Operational Semantics for Alloy.

Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Browse the full FM paper archive.