Alcoa: The Alloy Constraint Analyzer (2000)

by Daniel Jackson, Ian Schechter, Hya Shlyahter
Venue:In Proceedings of the 22nd International Conference on Software Engineering