Original language | Undefined |
---|---|
Title of host publication | Colloquium Programmacorrectheid |
Editors | J.W. de Bakker |
Place of Publication | Amsterdam, The Netherlands |
Publisher | Mathematical Centre |
Pages | 151-165 |
Number of pages | 15 |
ISBN (Print) | 90-6196-103-3 |
Publication status | Published - 1975 |
Publication series
Name | Mathematical Centre Syllabus |
---|---|
Publisher | Mathematical Centre |
Volume | 21 |
Keywords
- EWI-8217