You are here: TUCS > EDUCATION > TUCS Graduate Programmes > Students > Thomas Långbacka
Dr. Thomas Långbacka
Date of doctoral defense: 21.11.1997
TUCS Department for the doctoral studies: Åbo Akademi University, Department of Information Technologies
Thesis:
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