Return to search

Evalutation of program specification and verification systems /

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2003. / Thesis advisor(s): George Dinolt, Timothy Levin. Includes bibliographical references (p. 131-135). Also available online.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/53034697
Date January 2003
CreatorsUbhayakar, Sonali S.
PublisherMonterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
Source(661 KB)

Page generated in 0.1743 seconds