Derivation of Proof Obligations from Architectural Specifications

AuthorSearch for:
TypeTechnical Report
Publication date
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedNo
NRC number40235
NPARC number8914425
Export citationExport as RIS
Report a correctionReport a correction
Record identifierbcdb68ff-e38b-4543-bb5d-488b40111267
Record created2009-04-22
Record modified2016-10-03
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
Date modified: