Architectural Specifications, Proof Obligations, Decomposition
Architectural Specifications, Proof Obligations, Decomposition
| Author | Search for: |
|---|---|
| Format | Text, Technical Report |
| Publication date | 1997 |
| Language | English |
| NRC number | NRCC 40234 |
| NPARC number | 8913571 |
| Export citation | Export as RIS |
| Report a correction | Report a correction (opens in a new tab) |
| Record identifier | 85caa6f7-77b5-45ed-94a5-13e1ed1718b5 |
| Record created | 2009-04-22 |
| Record modified | 2020-03-05 |
- Date modified: