Alcoa: the ALLOY constraint analyzer, in (0)

by D Jackson, I Schechter, H Shlyahter
Venue:ICSE’00: proceedings of the 22nd International Conference on Software Engineering