An algebraic proof in VDM
Hughes, A.P., & Donnelly, A.A.
| Main Creator: | |
|---|---|
| Contributors: | |
| Format: | Book |
| Language: | English |
| Published / Created: |
Dublin
Trinity College, Department of Computer Science
1996
|
| Series: | Technical report (Trinity College Dublin. Department of Computer Science)
96-02 |
| Subjects: | |
| Notes: | Includes bibliographic references Physical description: 27 p. 30 cm. more |