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.