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
Volume 1
IEEE Education Society

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

PDF of full publication (59 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.