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]
Abstract is missing.