Abstract
No abstract.
| Original language | English |
|---|---|
| Title of host publication | Formal development of programs and proofs |
| Editors | E.W. Dijkstra |
| Place of Publication | Reading MA |
| Publisher | Addison-Wesley |
| Pages | 139-158 |
| ISBN (Print) | 0-201-17237-2 |
| Publication status | Published - 1990 |
Fingerprint
Dive into the research topics of 'Exercises in formula manipulation'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver