Return to search

Exploring the integration of model-based formal methods into software design education

Thesis(M.S.)--Auburn University, 2005. / Abstract. Vita. Includes bibliographic references (p.87-92).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/244206335
Date January 2005
CreatorsWang, Shuo, Yilmaz, Levent,
PublisherAuburn, Ala. ,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.002 seconds