Derivation of Proof Obligations from Architectural Specifications
Derivation of Proof Obligations from Architectural Specifications
Auteur | Rechercher : |
---|---|
Format | Texte, Rapport technique |
Date de publication | 1997 |
Langue | anglais |
Numéro du CNRC | NRCC 40235 |
Numéro NPARC | 8914425 |
Exporter la notice | Exporter en format RIS |
Signaler une correction | Signaler une correction (s'ouvre dans un nouvel onglet) |
Identificateur de l’enregistrement | bcdb68ff-e38b-4543-bb5d-488b40111267 |
Enregistrement créé | 2009-04-22 |
Enregistrement modifié | 2020-03-05 |
- Date de modification :