VAlloy - Virtual Functions Meet a Relational Language.

Darko Marinov, Sarfraz Khurshid

Browse the full FM paper archive.