Hartmut Ehrig;Bernd Mahr
-;-
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling