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

Back to results

University of Tartu

Nestra, Härmel

dc:date.issued2006

Author and committee

dc:creator, dc:contributor.*

dc:identifier.*

Identifier: hdl:10062/1109
OAI record oai:identifier: http://dspace.ut.ee/oai/request?verb=GetRecord&metadataPrefix=mets&identifier=oai%3Adspace.ut.ee%3A10062%2F1109

Chain of custody

source

related terms

citation

Nestra, Härmel. Iteratively defined transfinite trace semantics and program slicing with respect to them. 2006.