Derivation of Proof Obligations from Architectural Specifications
Derivation of Proof Obligations from Architectural Specifications
| Author | Search for: |
|---|---|
| Format | Text, Technical Report |
| Publication date | 1997 |
| Language | English |
| NRC number | NRCC 40235 |
| NPARC number | 8914425 |
| Export citation | Export as RIS |
| Report a correction | Report a correction (opens in a new tab) |
| Record identifier | bcdb68ff-e38b-4543-bb5d-488b40111267 |
| Record created | 2009-04-22 |
| Record modified | 2020-03-05 |
- Date modified: