Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015

Correct System Design: Proc./Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 2015Ed. by Meyer R., Platzer A., Wehreheim H..-Berlin.: Springer, 2015.-Vol. 9360.-280 p.-(Lecture Notes in Computer Science).