 |
|
|||
| Authors: | Daniel Schweizer, Christoph Denzler |
| Group: | System Engineering |
| Type: | Inproceedings |
| Title: | Verifying the Specification-to-Code Correspondence for Abstract Data Types |
| Year: | 1997 |
| Month: | March |
| Pub-Key: | SD97 |
| Book Titel: | DCCA-6 Sixth IFIP International Working Conference on Dependable Computing |
| Remarks: | DCCA-6 Sixth IFIP International Working Conference on Dependable Computing, March 1997, pages 177-201 |
| Resources: | [BibTeX] |
