%0 Conference Paper %1 conf/pldi/AndreasenMN17 %A Andreasen, Esben Sparre %A Møller, Anders %A Nielsen, Benjamin Barslev %B SOAP@PLDI %D 2017 %E Ali, Karim %E Cifuentes, Cristina %I ACM %K dblp %P 31-36 %T Systematic approaches for increasing soundness and precision of static analyzers. %U http://dblp.uni-trier.de/db/conf/pldi/soap2017.html#AndreasenMN17 %@ 978-1-4503-5072-3

@inproceedings{conf/pldi/AndreasenMN17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Andreasen, Esben Sparre and Møller, Anders and Nielsen, Benjamin Barslev}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c6d9ea84029f74a28596d47b1b42965c/dblp}, booktitle = {SOAP@PLDI}, crossref = {conf/pldi/2017soap}, editor = {Ali, Karim and Cifuentes, Cristina}, ee = {https://doi.org/10.1145/3088515.3088521}, interhash = {9ae191e0e9c983eadbf4be5afd61fbb8}, intrahash = {c6d9ea84029f74a28596d47b1b42965c}, isbn = {978-1-4503-5072-3}, keywords = {dblp}, pages = {31-36}, publisher = {ACM}, timestamp = {2019-09-27T15:41:08.000+0200}, title = {Systematic approaches for increasing soundness and precision of static analyzers.}, url = {http://dblp.uni-trier.de/db/conf/pldi/soap2017.html#AndreasenMN17}, year = 2017 }