Iteratively defined transfinite trace semantics and program slicing with respect to them
By: Härmel Nestra
Contributors: Tartu Ülikool
Series: Dissertationes mathematicae Universitatis Tartuensis -- 49
Published: 2006
Language: eng
Number of pages: 118
ISBN-13: 9789949114368
Notes: Thesis (doctoral)--University of Tartu, 2006.

In English; abstract in Estonian.