Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications (1998)

by Daniel Jackson , Somesh Jha , Craig A. Damon
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:18 - 10 self