%0 Conference Paper %1 conf/sas/NarasamdyaV05 %A Narasamdya, Iman %A Voronkov, Andrei %B SAS %D 2005 %E Hankin, Chris %E Siveroni, Igor %I Springer %K dblp %P 251-267 %T Finding Basic Block and Variable Correspondence. %U http://dblp.uni-trier.de/db/conf/sas/sas2005.html#NarasamdyaV05 %V 3672 %@ 3-540-28584-9

@inproceedings{conf/sas/NarasamdyaV05, added-at = {2017-05-24T00:00:00.000+0200}, author = {Narasamdya, Iman and Voronkov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2d9cd59209b580e9ea55f575bced045bd/dblp}, booktitle = {SAS}, crossref = {conf/sas/2005}, editor = {Hankin, Chris and Siveroni, Igor}, ee = {https://doi.org/10.1007/11547662_18}, interhash = {9df6ff44f89777d0c51856d17f871d7d}, intrahash = {d9cd59209b580e9ea55f575bced045bd}, isbn = {3-540-28584-9}, keywords = {dblp}, pages = {251-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:57.000+0200}, title = {Finding Basic Block and Variable Correspondence.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2005.html#NarasamdyaV05}, volume = 3672, year = 2005 }