Symbolic Execution of Alloy Models.

Junaid Haroon Siddiqui, Sarfraz Khurshid

Browse the full ICFEM paper archive.