Return to search

Improving error discovery using guided model checking /

Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2006. / Includes bibliographical references (p. 31-33).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/175763948
Date January 2006
CreatorsRungta, Neha S.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeElectronic dissertations.
SourceCLICK HERE for online access

Page generated in 0.0085 seconds