TY  - BOOK
A2  - Boiten, Eerke A.
A2  - Möller, Bernhard
T1  - Mathematics of program construction: 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002; proceedings
Y1  - 2002
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35976
SN  - 978-3-540-43857-1
PB  - Springer
CY  - Berlin u.a.
ER  -