Masterpresentasjon Peter Brottveit Bock

Formalization of a Type and Effect System using Coq and Ott

Publisert 9. des. 2013 09:46 - Sist endret 9. des. 2013 09:46