Architectural Specifications, Proof Obligations, Decomposition
Architectural Specifications, Proof Obligations, Decomposition
| Author | Search for: |
|---|---|
| Format | Text, Technical Report |
| Date published | 1997 |
| Publisher | National Research Council Canada |
| Language | English |
| Peer reviewed | No |
| 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 | 2026-09-29 |
Page details
From:
- Date modified: