@inproceedings{Bodden18Explain,
  author    = {Eric Bodden and
               Lisa Nguyen Quang Do},
  title     = {Explainable Static Analysis},
  booktitle = {Software Engineering und Software Management 2018, Fachtagung des
               GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018,
               Ulm, Germany.},
  pages     = {205--208},
  year      = {2018},
  url       = {https://dl.gi.de/20.500.12116/16348},
  timestamp = {Wed, 18 Apr 2018 11:33:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/se/BoddenD18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  isbn      = {978-3-88579-673-2},
  series    = {{LNI}},
}