Return to search

Dynamically discovering likely program invariants /

Thesis (Ph. D.)--University of Washington, 2000. / Vita. Includes bibliographical references (p. 125-141).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/46773406
Date January 2000
CreatorsErnst, Michael D.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeTheses
SourceConnect to this title online; UW restricted

Page generated in 0.0045 seconds