Jens Dietrich, Nicholas Hollingum, Bernhard Scholz. A Note on the Soundness of Difference Propagation. In Vladimir Klebanov, editor, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. pages 3, ACM, 2016. [doi]
@inproceedings{DietrichHS16, title = {A Note on the Soundness of Difference Propagation}, author = {Jens Dietrich and Nicholas Hollingum and Bernhard Scholz}, year = {2016}, url = {http://dl.acm.org/citation.cfm?id=2955814}, researchr = {https://researchr.org/publication/DietrichHS16}, cites = {0}, citedby = {0}, pages = {3}, booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016}, editor = {Vladimir Klebanov}, publisher = {ACM}, isbn = {978-1-4503-4439-5}, }