IFIP Working Group 14.3

(Foundations of Systems Specification);

Prof. Kreowski ist Initiator und Sprecher der IFIP Working Group 14.3 (Foundations of Systems Specification); Prof. Krieg-Brückner und Prof. Gogolla sind Mitglieder.

Veröffentlichungen (engl.)