Architectural Specifications, Proof Obligations, Decomposition
Architectural Specifications, Proof Obligations, Decomposition
| Auteur | Rechercher : |
|---|---|
| Format | Texte, Rapport technique |
| Date de publication | 1997 |
| Langue | anglais |
| Numéro du CNRC | NRCC 40234 |
| Numéro NPARC | 8913571 |
| Exporter la notice | Exporter en format RIS |
| Signaler une correction | Signaler une correction (s'ouvre dans un nouvel onglet) |
| Identificateur de l’enregistrement | 85caa6f7-77b5-45ed-94a5-13e1ed1718b5 |
| Enregistrement créé | 2009-04-22 |
| Enregistrement modifié | 2020-03-05 |
- Date de modification :