Alcoa: the alloy constraint analyzer (2000)

by D Jackson, I Schechter, I Shlyakhter
Venue:In: Proceedings of the 22nd ACM/IEEE International Conference on Software Engineering