%0 Conference Paper %1 conf/oopsla/StefanescuPYLR16 %A Stefanescu, Andrei %A Park, Daejun %A Yuwen, Shijiao %A Li, Yilong %A Rosu, Grigore %B OOPSLA %D 2016 %E Visser, Eelco %E Smaragdakis, Yannis %I ACM %K dblp %P 74-91 %T Semantics-based program verifiers for all languages. %U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2016.html#StefanescuPYLR16 %@ 978-1-4503-4444-9

@inproceedings{conf/oopsla/StefanescuPYLR16, added-at = {2021-06-23T00:00:00.000+0200}, author = {Stefanescu, Andrei and Park, Daejun and Yuwen, Shijiao and Li, Yilong and Rosu, Grigore}, biburl = {https://www.bibsonomy.org/bibtex/2af7a6226e99d929f72cd80abde50603f/dblp}, booktitle = {OOPSLA}, crossref = {conf/oopsla/2016}, editor = {Visser, Eelco and Smaragdakis, Yannis}, ee = {https://doi.org/10.1145/3022671.2984027}, interhash = {94d01360d5977ba845dcf62eaed28369}, intrahash = {af7a6226e99d929f72cd80abde50603f}, isbn = {978-1-4503-4444-9}, keywords = {dblp}, pages = {74-91}, publisher = {ACM}, timestamp = {2024-04-09T11:46:53.000+0200}, title = {Semantics-based program verifiers for all languages.}, url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2016.html#StefanescuPYLR16}, year = 2016 }