Computing Publications

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.