%0 Conference Paper %1 conf/rv/NamjoshiTZ13 %A Namjoshi, Kedar S. %A Tagliabue, Giacomo %A Zuck, Lenore D. %B RV %D 2013 %E Legay, Axel %E Bensalem, Saddek %I Springer %K dblp %P 340-345 %T A Witnessing Compiler: A Proof of Concept. %U http://dblp.uni-trier.de/db/conf/rv/rv2013.html#NamjoshiTZ13 %V 8174 %@ 978-3-642-40786-4

@inproceedings{conf/rv/NamjoshiTZ13, added-at = {2017-05-17T00:00:00.000+0200}, author = {Namjoshi, Kedar S. and Tagliabue, Giacomo and Zuck, Lenore D.}, biburl = {https://www.bibsonomy.org/bibtex/220ee514cbde7bf4fa890729f1caa82a9/dblp}, booktitle = {RV}, crossref = {conf/rv/2013}, editor = {Legay, Axel and Bensalem, Saddek}, ee = {https://doi.org/10.1007/978-3-642-40787-1_22}, interhash = {02930eb46217aba755073d12d2f929cd}, intrahash = {20ee514cbde7bf4fa890729f1caa82a9}, isbn = {978-3-642-40786-4}, keywords = {dblp}, pages = {340-345}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:25.000+0200}, title = {A Witnessing Compiler: A Proof of Concept.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2013.html#NamjoshiTZ13}, volume = 8174, year = 2013 }