Computing Publications

Publications Home » Teaching Program Reasoning in the...

Teaching Program Reasoning in the First Year

Krysia Broda, Susan Eisenbach

Conference or Workshop Paper
NSF Teaching Formal Methods Workshop, New York
1994
BibTEX file for the publication
 

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