The Kermit Project |
612 West 115th Street, New York NY 10025 USA • email@example.com
Kermit: Specification and Verification by James K. Huggins, EECS Department, University of Michican, Ann Arbor, MI 48109-2122, firstname.lastname@example.org, originally published in the book, Specification and Validation Methods, ed. E. Börger, Oxford University Press, 1995.
The book Specification and Validation Methods is available from Oxford University Press, ISBN 0-19-853854-5. Publication date: 3 August 1995. It is no longer available from the publisher but can be ordered from Amazon.com
The Kermit paper is available on the Web in PostScript format. It is 40 pages long; the file is 341K in length.
CLICK HERE to view the paper with your PostScript viewer, if you have one, or to obtain it via ftp if you don't.
The article is reproduced with the permission of Oxford University Press.