Correct system design symposium in honor of ernst-rüdiger olderog on the occasion of his 60th birthday oldenburg, germany, september 8-9, 2015 proceedings

@PROCEEDINGS{DBLP:conf/festschrift/ERO60,

  editor    = {Roland Meyer and
               Andr{\'{e}} Platzer and
               Heike Wehrheim},
  title     = {Correct System Design
Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday Oldenburg, Germany, September 8-9, 2015 Proceedings},
  booktitle = {ERO},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {9360},
  year      = {2015},
  isbn      = {978-3-319-23505-9},
  doi       = {10.1007/978-3-319-23506-6},
}```