Logic in Computer Science: tool-based modeling and reasoning about systems
- 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.