| Original language | English |
|---|---|
| Title of host publication | Mathematics of program construction |
| Subtitle of host publication | 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings |
| Editors | J.L.A. van de Snepscheut |
| Place of Publication | Berlin |
| Publisher | Springer |
| Chapter | 17 |
| Pages | 297-306 |
| Number of pages | 10 |
| ISBN (Electronic) | 978-3-540-46191-3 |
| ISBN (Print) | 3-540-51305-1, 978-3-540-51305-6 |
| DOIs | |
| Publication status | Published - 1989 |
Publication series
| Name | Lecture Notes in Computer Science (LNCS) |
|---|---|
| Volume | 375 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |