Where academic tradition
meets the exciting future

Dr. Johannes Eriksson

Date of doctoral defense: 17.8.2010

TUCS Department for the doctoral studies: Åbo Akademi University, Department of Information Technologies

Admitted to TUCS GP on 15.9.2005


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)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

Update your graduate project title and abstract.