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

Thumbnail Image

Files

nestraharmel.pdf (591.08 KB)

Date

2006

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

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

Collections

1. TÜ väitekirjad alates 2004. Kaitstud doktoritööd, teadusmagistritööd. Doctoral theses, PhD, MSc, MPhil.