Computing Publications

Publications Home » Tool Support for Informal Deduction

Tool Support for Informal Deduction

Krysia Broda, Susan Eisenbach

Conference or Workshop Paper
ACSE'96, Sydney, Australia
1996
BibTEX file for the publication
 

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