Kodkod: A relational model finder (2007)

Cached

Download Links

by Emina Torlak , Daniel Jackson
Venue:In Tools and Algorithms for Construction and Analysis of Systems (TACAS
Citations:62 - 5 self