Architectural Specifications, Proof Obligations, Decomposition

From National Research Council Canada

AuthorSearch for:
FormatText
TypeTechnical Report
Publication date
LanguageEnglish
NRC number40234
NPARC number8913571
Export citationExport as RIS
Report a correctionReport a correction
Record identifier85caa6f7-77b5-45ed-94a5-13e1ed1718b5
Record created2009-04-22
Record modified2019-02-13
Date modified: