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 |
Détails de la page
Par :
- Date de modification :