"A case for alloy annotations for efficient incremental analysis via domain ..."

Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics