Annotations for Alloy: automated incremental analysis using domain specific solvers,” (2012)

by S Ganov, S Khurshid, D E Perry
Venue:in Formal Methods and Software Engineering.