Computing Publications

Publications Home » Logic in Computer Science: tool-b...

Logic in Computer Science: tool-based modeling and reasoning about systems

Michael Huth

Conference or Workshop Paper
International Conference on Frontiers in Education 2000 in Kansas City, Missouri
2000
Volume 1
IEEE Education Society
Notes

Online proceedings, pp.~T1C/1-T1C/6.

PDF of full publication (59 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

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