%0 Conference Paper %1 conf/issta/MadsenL18 %A Madsen, Magnus %A Lhoták, Ondrej %B ISSTA %D 2018 %E Tip, Frank %E Bodden, Eric %I ACM %K dblp %P 38-48 %T Safe and sound program analysis with Flix. %U http://dblp.uni-trier.de/db/conf/issta/issta2018.html#MadsenL18

@inproceedings{conf/issta/MadsenL18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Madsen, Magnus and Lhoták, Ondrej}, biburl = {https://www.bibsonomy.org/bibtex/27d8eaece5092b8ba67f06c33c4692972/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2018}, editor = {Tip, Frank and Bodden, Eric}, ee = {https://doi.org/10.1145/3213846.3213847}, interhash = {734dc331dcba92ea613b7b150693d95d}, intrahash = {7d8eaece5092b8ba67f06c33c4692972}, keywords = {dblp}, pages = {38-48}, publisher = {ACM}, timestamp = {2018-11-22T11:56:11.000+0100}, title = {Safe and sound program analysis with Flix.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2018.html#MadsenL18}, year = 2018 }