Iteratively defined transfinite trace semantics and program slicing with respect to them

View/Open

nestraharmel.pdf (591.0Kb)

Date

2006

Author

Nestra, Härmel

Metadata

Show full item record

URI

http://hdl.handle.net/10062/1109

Collections

1. TÜ väitekirjad alates 2004 - Theses, PhD, MSc, ETD [3297]

The following license files are associated with this item:

Creative Commons