%0 Conference Paper %1 conf/hvc/QuinlanUV05 %A Quinlan, Daniel J. %A Ur, Shmuel %A Vuduc, Richard W. %B Haifa Verification Conference %D 2005 %E Ur, Shmuel %E Bin, Eyal %E Wolfsthal, Yaron %I Springer %K dblp %P 116-133 %T An Extensible Open-Source Compiler Infrastructure for Testing. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2005.html#QuinlanUV05 %V 3875 %@ 3-540-32604-9

@inproceedings{conf/hvc/QuinlanUV05, added-at = {2017-06-02T00:00:00.000+0200}, author = {Quinlan, Daniel J. and Ur, Shmuel and Vuduc, Richard W.}, biburl = {https://www.bibsonomy.org/bibtex/254669fedc2c4703d457dd1d6f5918f1b/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2005}, editor = {Ur, Shmuel and Bin, Eyal and Wolfsthal, Yaron}, ee = {https://doi.org/10.1007/11678779_9}, interhash = {3e6f25fe71743844dd613dd2982ed6d5}, intrahash = {54669fedc2c4703d457dd1d6f5918f1b}, isbn = {3-540-32604-9}, keywords = {dblp}, pages = {116-133}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {An Extensible Open-Source Compiler Infrastructure for Testing.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2005.html#QuinlanUV05}, volume = 3875, year = 2005 }