@InProceedings{ChristakisLeinoMuellerWuestholz16,
  author       = {M. Christakis and K. R. M. Leino and P. M{\"u}ller and V. W{\"u}stholz},
  title        = {Integrated Environment for Diagnosing Verification Errors},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  editor       = {M. Chechik and J.-F. Raskin},
  year         = {2016},
  pages        = {424--441},
  volume       = {9636},
  series       = {LNCS},
  publisher    = {Springer-Verlag},
  url          = {https://doi.org/10.1007/978-3-662-49674-9_25},
  urltext      = {[Publisher]}
}