Formally proving the correctness of functional programs
: a comparison of different methods in the proof assistant CoQ

  • S. Saidi

Scriptie/Masterproef: Master

Datum prijs31 aug. 2010
Originele taalEngels
BegeleiderJ.H. (Herman) Geuvers (Afstudeerdocent 1)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 641 KB

    Type: Scriptie

'