Velkommen!

Denne siden er ikke særlig avansert

Linker til steder jeg ofte besøker: Linker
Litt dill om meg.
Ta en titt på hovedoppgaven min: Tracesemantikk i PVS
Sist oppdatert bla bla bla av meg.




















This site supports Convergence