Program variables : the core of mechanical reasoning about imperative programs /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Turku, Finland :
Dept. of Information Technologies, Åbo Akademi University,
2006
|
| Series: | TUCS dissertations ;
no.79 |
| Subjects: |