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




Department of Computer Science, Cornell University, Ithaca, NY.