%0 Conference Paper %1 conf/ised/BanerjeeKSM12 %A Banerjee, Kunal %A Karfa, Chandan %A Sarkar, Dipankar %A Mandal, Chittaranjan %B ISED %D 2012 %I IEEE %K dblp %P 67-71 %T A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques. %U http://dblp.uni-trier.de/db/conf/ised/ised2012.html#BanerjeeKSM12 %@ 978-1-4673-4704-4

@inproceedings{conf/ised/BanerjeeKSM12, added-at = {2021-03-08T00:00:00.000+0100}, author = {Banerjee, Kunal and Karfa, Chandan and Sarkar, Dipankar and Mandal, Chittaranjan}, biburl = {https://www.bibsonomy.org/bibtex/2f5ced97285bd60e062d0a9c10f71cddf/dblp}, booktitle = {ISED}, crossref = {conf/ised/2012}, ee = {https://doi.org/10.1109/ISED.2012.28}, interhash = {76b4b5dc6ce5451231f6368503840ab0}, intrahash = {f5ced97285bd60e062d0a9c10f71cddf}, isbn = {978-1-4673-4704-4}, keywords = {dblp}, pages = {67-71}, publisher = {IEEE}, timestamp = {2024-04-10T13:29:04.000+0200}, title = {A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques.}, url = {http://dblp.uni-trier.de/db/conf/ised/ised2012.html#BanerjeeKSM12}, year = 2012 }