Original language | Undefined/Unknown |
---|---|
Title of host publication | Proceedings of the 6th International Conference on Mathematics of Program Construction |
Editors | E.A. Boiten, B. Möller |
Publisher | Springer |
Pages | 148-174 |
Number of pages | 27 |
Publication status | Published - 2002 |
Type-indexed data types
R. Hinze, J.T. Jeuring, A. Löh
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review