| Original language | English |
|---|---|
| Title of host publication | Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany |
| Publisher | Springer |
| Pages | 397-439 |
| Number of pages | 43 |
| ISBN (Electronic) | 3-540-60947-4 |
| Publication status | Published - 1996 |
Proof and design
Michael P. Fourman
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution