| Title | Author | Supervisor(s) | Date of submission |
|---|---|---|---|
| Formalization of a Type and Effect System using Coq and OTT | Peter Brottveit Bock | Martin Steffen, Olaf Owe | Nov. 2013 |
Reference page for completed master's thesis (2013)
Published June 10, 2014 10:07 AM
- Last modified June 10, 2014 10:09 AM