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:60 - 4 self