%0 Conference Paper %1 conf/cav/LahiriHKR12 %A Lahiri, Shuvendu K. %A Hawblitzel, Chris %A Kawaguchi, Ming %A Rebêlo, Henrique %B CAV %D 2012 %E Madhusudan, P. %E Seshia, Sanjit A. %I Springer %K dblp %P 712-717 %T SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. %U http://dblp.uni-trier.de/db/conf/cav/cav2012.html#LahiriHKR12 %V 7358 %@ 978-3-642-31423-0

@inproceedings{conf/cav/LahiriHKR12, added-at = {2018-10-03T00:00:00.000+0200}, author = {Lahiri, Shuvendu K. and Hawblitzel, Chris and Kawaguchi, Ming and Rebêlo, Henrique}, biburl = {https://www.bibsonomy.org/bibtex/21f2fc656ea7844278c91e025a20db88c/dblp}, booktitle = {CAV}, crossref = {conf/cav/2012}, editor = {Madhusudan, P. and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-642-31424-7_54}, interhash = {05e5881f566ce587dd7e328136838e68}, intrahash = {1f2fc656ea7844278c91e025a20db88c}, isbn = {978-3-642-31423-0}, keywords = {dblp}, pages = {712-717}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:32.000+0200}, title = {SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2012.html#LahiriHKR12}, volume = 7358, year = 2012 }