Computing Publications

Publications Home » Theorem Proving and Model Buildin...

Theorem Proving and Model Building with the Calculus KE

Jeremy Pitt, Jim Cunningham

Journal Article
Journal of the IGPL
Volume 4
Issue 1
pp.129–150
1996
ISSN 0945-9103
BibTEX file for the publication
 

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