Correct System Design : Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Pro (Paperback)
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory an (Paperback)
