TY  - BOOK
AU  - Nestra,Harmel
TI  - Iteratively defined transfinite trace semantics and program slicing with respect to them
T2  - Dissertationes mathematicae Universitatis Tartuensis
SN  - 9949114365
SN  - 1024-4212
PY  - 2006///
CY  - Tartu
PB  - Tartu University Press
KW  - компьютерные программы
KW  - семантика
KW  - диссертации
KW  - теория графов
N1  - Bibliogr.: p. 109-110
ER  -