DMCA

Finding minimal unsatisfiable cores of declarative specifications (2008)

Cached

Download Links

by Emina Torlak , Felix Sheng-ho Chang , Daniel Jackson
Venue:In FM ’08
Citations:18 - 9 self