The Machine Assisted Proof of Programming Language Properties

The Machine Assisted Proof of Programming Language Properties
Myra VanInwegen
Doctoral Thesis, University of Pennsylvania, 1996.

Last updated on Monday, July 25, 2011, 4:36 pm