Return to search

Assertion seeding development of program instrumentation through iterative formal analysis /

Thesis (M.S.)--West Virginia University, 1999. / Title from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/43165174
Date January 1999
CreatorsNagulakonda, Vikram.
PublisherMorgantown, W. Va. : [West Virginia University Libraries],
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0232 seconds