Derivation of Proof Obligations from Architectural Specifications

From National Research Council Canada

AuthorSearch for:
FormatText, Technical Report
Publication date
LanguageEnglish
NRC numberNRCC 40235
NPARC number8914425
Export citationExport as RIS
Report a correctionReport a correction (opens in a new tab)
Record identifierbcdb68ff-e38b-4543-bb5d-488b40111267
Record created2009-04-22
Record modified2020-03-05
Date modified: