SPENNER HARTMUT

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday: 3393 (Lecture Notes in Computer Science)