You are here: TUCS > EDUCATION > TUCS Graduate Programmes > Alumni > Johannes Eriksson
Dr. Johannes Eriksson
Date of doctoral defense: 17.8.2010
Degree from TUCS Department: Åbo Akademi University, Department of Information Technologies
Thesis:
Johannes Eriksson, Tool-Supported Invariant-Based Programming. TUCS Dissertations 127. Turku Centre for Computer Science, 2010.
Former supervisors:
Ralph-Johan Back (Åbo Akademi University, Department of Information Technologies)