ADEPT a tool to support the formal analysis of software design /

Title from first page of PDF document. Includes bibliographical references (p. Xx-Xx).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/436265675
Date January 2009
CreatorsCampbell, Sherrie L.
PublisherOxford, Ohio : Miami University,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceConnect to resource online

Page generated in 0.002 seconds