Computing Publications

Publications Home » An Abductive Approach for Handlin...

An Abductive Approach for Handling Inconsistencies in SCR Specifications

Alessandra Russo, Robert Miller, Bashar Nuseibeh, Jeff Kramer

Conference or Workshop Paper
3rd (ICSE) International Workshop on Intelligent Software Engineering (WISE-3)
2000
pp.80–89
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.