Publications Home » An Abductive Approach for Analysi...
An Abductive Approach for Analysing Event-based Specifications
Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh
- Technical Report
- September, 2001
- Imperial College of Science, Technology and Medicine, Department of Computing
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.