Derivation of Proof Obligations from Architectural Specifications

Par Conseil national de recherches du Canada

AuteurRechercher :
FormatTexte, Rapport technique
Date de publication
Langueanglais
Numéro du CNRCNRCC 40235
Numéro NPARC8914425
Exporter la noticeExporter en format RIS
Signaler une correctionSignaler une correction (s'ouvre dans un nouvel onglet)
Identificateur de l’enregistrementbcdb68ff-e38b-4543-bb5d-488b40111267
Enregistrement créé2009-04-22
Enregistrement modifié2020-03-05
Date de modification :