@inproceedings{nachtigall19explaining, author = {Marcus Nachtigall and Lisa Nguyen Quang Do and Eric Bodden}, title = {Explaining Static Analysis -- A Perspective}, booktitle = {1st International Workshop on Explainable Software (EXPLAIN) at ASE}, month = nov, year = 2019, url = {https://www.bodden.de/pubs/nachtigall19explaining.pdf}, }