Where academic tradition
meets the exciting future

Dr. Thomas Långbacka

Date of doctoral defense: 21.11.1997

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


Thomas Långbacka, An Interactive Environment Supporting the Development of Formally Correct Programs. TUCS Dissertations 7. Turku Centre for Computer Science, 1997.

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.