You are here: TUCS > EDUCATION > TUCS Graduate Programmes > Students > Linas Laibinis
Dr. Linas Laibinis
Date of doctoral defense: 14.4.2000
TUCS Department for the doctoral studies: Åbo Akademi University, Department of Information Technologies
Thesis:
Linas Laibinis, Mechanised Formal Reasoning About Modular Programs. TUCS Dissertations 24. Turku Centre for Computer Science, 2000.
Former supervisors:
Joakim von Wright (Åbo Akademi University, Department of Information Technologies)
Latest publications:
Click here to see the full list of publications from the TUCS Publication Database