You are here: TUCS > PUBLICATIONS > Publication Search > An Interactive Environment Sup...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
An Interactive Environment Supporting the Development of Formally Correct Programs
Thomas Långbacka, An Interactive Environment Supporting the Development of Formally Correct Programs. TUCS Dissertations 7. Turku Centre for Computer Science, 1997.
BibTeX entry:
@PHDTHESIS{phdLangbacka97,
title = {An Interactive Environment Supporting the Development of Formally Correct Programs},
author = {Långbacka, Thomas},
number = {7},
series = {TUCS Dissertations},
school = {Turku Centre for Computer Science},
year = {1997},
ISBN = {952-12-0074-X},
}