Alcoa: the Alloy Constraint Analyzer, (2000)

by D Jackson, I Schechter, I Shlyakhter
Venue:In ICSE