A Note on the Soundness of Difference Propagation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Jens Dietrich

Look up 'Jens Dietrich' in GoogleThis author has not been identified. Look up 'Nicholas Hollingum' in GoogleThis author has not been identified. Look up 'Bernhard Scholz' in Google

runs on WebDSL