%0 Conference Paper %1 conf/ecoop/DietrichHS16 %A Dietrich, Jens %A Hollingum, Nicholas %A Scholz, Bernhard %B FTfJP@ECOOP %D 2016 %E Klebanov, Vladimir %I ACM %K %P 3 %T A Note on the Soundness of Difference Propagation. %U http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2016.html#DietrichHS16 %@ 978-1-4503-4439-5

@inproceedings{conf/ecoop/DietrichHS16, added-at = {2023-12-13T02:07:57.000+0100}, author = {Dietrich, Jens and Hollingum, Nicholas and Scholz, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/2173de4099b531a4284e99873a64a8dc6/admin}, booktitle = {FTfJP@ECOOP}, crossref = {conf/ecoop/2016ftfjp}, editor = {Klebanov, Vladimir}, ee = {http://dl.acm.org/citation.cfm?id=2955814}, interhash = {7b5000cf0bec05423f24689b75e24e28}, intrahash = {173de4099b531a4284e99873a64a8dc6}, isbn = {978-1-4503-4439-5}, keywords = {}, pages = 3, publisher = {ACM}, timestamp = {2023-12-13T02:07:57.000+0100}, title = {A Note on the Soundness of Difference Propagation.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2016.html#DietrichHS16}, year = 2016 }