Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Ernst-Rüdiger Olderog Bernhard Steffen Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) Correct System Design, Recent Insight and Advances Lecture Notes in Computer Science 1710 Springer 1999 3-540-66624-9 db/conf/birthday/langmaack1999.html