IFIP Working Group 2.2
Formal Description of Programming Concepts
Contact
Secretary:
Markus Müller-Olm