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