Tool-Supported Invariant-Based Programming

Activity: Examination or supervisionExternal examination

Description

Dissertation
Period17 Aug 2010
ExamineeJohannes Eriksson
Examination held atAbo Akademi Turku