You are here: TUCS > PUBLICATIONS > Publication Search > Formal Design and Verification...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Formal Design and Verification of Systems Using Domain-Specific Languages
Pontus Boström, Formal Design and Verification of Systems Using Domain-Specific Languages. TUCS Dissertations 110. Turku Centre for Computer Science, 2008.
BibTeX entry:
@PHDTHESIS{phdBostrom08a,
title = {Formal Design and Verification of Systems Using Domain-Specific Languages},
author = {Boström, Pontus},
number = {110},
series = {TUCS Dissertations},
school = {Turku Centre for Computer Science},
year = {2008},
}