%0 Conference Paper %1 conf/hotos/WagnerKC13 %A Wagner, Jonas %A Kuznetsov, Volodymyr %A Candea, George %B HotOS %D 2013 %E Maniatis, Petros %I USENIX Association %K dblp %T -OVERIFY: Optimizing Programs for Fast Verification. %U http://dblp.uni-trier.de/db/conf/hotos/hotos2013.html#WagnerKC13

@inproceedings{conf/hotos/WagnerKC13, added-at = {2014-05-20T00:00:00.000+0200}, author = {Wagner, Jonas and Kuznetsov, Volodymyr and Candea, George}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b11e12a84b363571543784cde5575f13/dblp}, booktitle = {HotOS}, crossref = {conf/hotos/2013}, editor = {Maniatis, Petros}, ee = {https://www.usenix.org/conference/hotos13/session/wagner}, interhash = {5cc1b63847c12274705a1fc85a7a4757}, intrahash = {b11e12a84b363571543784cde5575f13}, keywords = {dblp}, publisher = {USENIX Association}, timestamp = {2016-02-02T11:47:29.000+0100}, title = {-OVERIFY: Optimizing Programs for Fast Verification.}, url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2013.html#WagnerKC13}, year = 2013 }