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

Description

Thesis (doctoral)--University of Tartu, 2006. / Includes bibliographical references.

Links & Downloads

1. http://dspace.utlib.ee/dspace/bitstream/10062/1109/5/nestraharmel.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/80779906
Date	January 2006
Creators	Nestra, Härmel,
Source Sets	OCLC
Language	English
Detected Language	English
Source	Online version