Special Topics
On Modeling Ensemble
Robert Constable, Jason Hickey, October 27, 1998
Horus Verification Effort
November 95
Verifying HORUS in Nuprl
Jason Hickey, November 28, 1995
Home
|
Introduction
|
Authors
|
Topics
|
Chronological List
|
PRL Project
Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to:
juanita@cs.cornell.edu
