Litt om hva jeg holdt på med:

Tittelen på hovedoppgaven er:
Algebraisk spesifikasjon av numerisk programvare

I oppgaven så blir forskjellig programvare brukt. Om disse kan du lese her:
LarchProver
The Larch/C++ Project
Larch generelt

Selve oppgaven (uten appendikset og referanselisten) kan du lese her
Beklager den mindre gode kvaliteten, latex2html er ikke helt godt.

Tilbake til hovedside