Pågående og avsluttede masteroppgaver
Sidetittel | Publisert | Student(er) | Veileder(e) |
---|---|---|---|
Analysis of the Go memory model | 4. des. 2015 |
|
|
Collaborative editing in emacs | 2. jan. 2015 |
|
|
Development of a PLC code analyzer | 22. sep. 2014 |
|
|
DTrace and Runtime Verification | 22. sep. 2014 |
|
|
Safer Refactorings | 22. sep. 2014 | ||
Verification Tool for Concurrent Software | 22. sep. 2014 |
|