%0 Conference Paper %1 conf/atva/BaranowskiHR18 %A Baranowski, Marek S. %A He, Shaobo %A Rakamaric, Zvonimir %B ATVA %D 2018 %E Lahiri, Shuvendu K. %E Wang, Chao %I Springer %K dblp %P 528-535 %T Verifying Rust Programs with SMACK. %U http://dblp.uni-trier.de/db/conf/atva/atva2018.html#BaranowskiHR18 %V 11138 %@ 978-3-030-01090-4

@inproceedings{conf/atva/BaranowskiHR18, added-at = {2018-10-01T00:00:00.000+0200}, author = {Baranowski, Marek S. and He, Shaobo and Rakamaric, Zvonimir}, biburl = {https://www.bibsonomy.org/bibtex/2e69f8963a76ff9bc744e1b56b5315687/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2018}, editor = {Lahiri, Shuvendu K. and Wang, Chao}, ee = {https://doi.org/10.1007/978-3-030-01090-4_32}, interhash = {404620ea023596a395a82b8817715ffe}, intrahash = {e69f8963a76ff9bc744e1b56b5315687}, isbn = {978-3-030-01090-4}, keywords = {dblp}, pages = {528-535}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:00:44.000+0200}, title = {Verifying Rust Programs with SMACK.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2018.html#BaranowskiHR18}, volume = 11138, year = 2018 }