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

Failid

nestraharmel.pdf (591.08 KB)

Kuupäev

2006

Autorid

Ajakirja pealkiri

Ajakirja ISSN

Köite pealkiri

Kirjastaja

Abstrakt

Kirjeldus

Märksõnad

Viide

URI

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

Kollektsioonid

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