Computing Publications

Publications Home » An Abductive Approach for Analysi...

An Abductive Approach for Analysing Event-Based Requirements Specifications.

Jeff Kramer

Conference or Workshop Paper
18th International Conference on Logic Programming
2002
Volume 2401
Springer Verlag
BibTEX file for the publication
 

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