Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers.

Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry

Browse the full ICFEM paper archive.