Kodkod: A Relational Model Finder (2007)

by E Torlak, D Jackson
Venue:In Proc. of TACAS’07