


default search action
IFIP TC2/WG2.1 Working Conference
Generic Programming 2002: Dagstuhl, Germany
- Jeremy Gibbons, Johan Jeuring:
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany. IFIP Conference Proceedings 243, Kluwer 2003, ISBN 1-4020-7374-7 [contents]
Formal Program Development 1993
- Bernhard Möller, Helmuth Partsch, Stephen A. Schuman:
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report. Lecture Notes in Computer Science 755, Springer 1993, ISBN 3-540-57499-9 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.