Iteratively defined transfinite trace semantics and program slicing with respect to them [electronic resource]/ Härmel Nestra.
Saved in:
| Online Access: |
Full Text (via CRL) |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Format: | Thesis Electronic eBook |
| Language: | English |
| Published: |
2006.
|
| Series: | Dissertationes mathematicae Universitatis Tartuensis,
49. |