%0 Conference Paper %1 conf/sas/NamjoshiZ13 %A Namjoshi, Kedar S. %A Zuck, Lenore D. %B SAS %D 2013 %E Logozzo, Francesco %E Fähndrich, Manuel %I Springer %K dblp %P 304-323 %T Witnessing Program Transformations. %U http://dblp.uni-trier.de/db/conf/sas/sas2013.html#NamjoshiZ13 %V 7935 %@ 978-3-642-38855-2

@inproceedings{conf/sas/NamjoshiZ13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Namjoshi, Kedar S. and Zuck, Lenore D.}, biburl = {https://www.bibsonomy.org/bibtex/2117ec1a949999fe432f4902f4b9f8f51/dblp}, booktitle = {SAS}, crossref = {conf/sas/2013}, editor = {Logozzo, Francesco and Fähndrich, Manuel}, ee = {https://doi.org/10.1007/978-3-642-38856-9_17}, interhash = {7015288ff6d93c3d297b521a8751ac3e}, intrahash = {117ec1a949999fe432f4902f4b9f8f51}, isbn = {978-3-642-38855-2}, keywords = {dblp}, pages = {304-323}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:45:13.000+0200}, title = {Witnessing Program Transformations.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2013.html#NamjoshiZ13}, volume = 7935, year = 2013 }