Conference
Finding minimal unsatisfiable cores of declarative specifications
Authors
Torlak E; Chang FS-H; Jackson D
Editors
Cuellar J; Maibaum T; Sere K
Series
Lecture Notes in Computer Science
Volume
5014
Pagination
pp. 326-341
Publisher
SPRINGER-VERLAG BERLIN
Publication Date
January 1, 2008
ISBN-13
978-3-540-68235-6
Name of conference
15th International Symposium on Formal Methods
Conference place
FINLAND, Turku
Conference start date
May 26, 2008
Conference end date
May 30, 2008
Conference proceedings
FM 2008: FORMAL METHODS, PROCEEDINGS
ISSN
0302-9743