Page 2 of 2.
Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan
In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …