IFIP Working Group 2.2
Formal Description of Programming Concepts

Contact

Secretary:  Markus Müller-Olm