Publications Home » An Abductive Approach for Analysi...
An Abductive Approach for Analysing Event-Based Requirements Specifications.
Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh (Ed.)
- Conference or Workshop Paper
- 18th International Conference on Logic Programming
- 18th International Conference on Logic Programming
- Volume 2401
- pp.22–37
- August, 2002
- Springer Verlag
- Notes
Awarded prize for best application paper at the conference
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.