Original language | English |
---|---|
Title of host publication | Colloquium Programmacorrectheid (Amsterdam, The Netherlands, 1975) |
Editors | J.W. Bakker, de |
Place of Publication | Amsterdam |
Publisher | Stichting Mathematisch Centrum |
Pages | 167-175 |
ISBN (Print) | 90-6196-103-3 |
Publication status | Published - 1975 |
Publication series
Name | MC Syllabus |
---|---|
Volume | 21 |