Date of Award | 31 Aug 2010 |
---|---|
Original language | English |
Supervisor | J.H. (Herman) Geuvers (Supervisor 1) |
Formally proving the correctness of functional programs: a comparison of different methods in the proof assistant CoQ
Student thesis: Master