Broy, Manfred
[Editor]
;
IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods Sea of Galilee, Israel, 1990,
International Federation for Information Processing Working Group Formal Description of Programming Concepts,
Working Conference on Programming Concepts and Methods 1990