Iteratively defined transfinite trace semantics and program slicing with respect to them
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Tartu
Tartu University Press
2006
|
| Series: | Dissertationes mathematicae Universitatis Tartuensis
|
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |