You are here: TUCS > PUBLICATIONS > Publication Search > Program Variables – The Core...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Program Variables – The Core of Mechanical Reasoning about Imperative Programs
Viorel Preoteasa, Program Variables – The Core of Mechanical Reasoning about Imperative Programs. TUCS Dissertations 79. Turku Centre for Computer Science, 2006.
BibTeX entry:
@PHDTHESIS{phdPreoteasa06a,
title = {Program Variables – The Core of Mechanical Reasoning about Imperative Programs},
author = {Preoteasa, Viorel},
number = {79},
series = {TUCS Dissertations},
school = {Turku Centre for Computer Science},
year = {2006},
ISBN = {952-12-1785-5},
}
Belongs to TUCS Research Unit(s): Software Construction Laboratorium