Barbara Paech
-
Integrating Formal Description Techniques
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II