%0 Conference Paper %1 conf/icse/CarterHWRE16 %A Carter, Montgomery %A He, Shaobo %A Whitaker, Jonathan %A Rakamaric, Zvonimir %A Emmi, Michael %B ICSE (Companion Volume) %D 2016 %E Dillon, Laura K. %E Visser, Willem %E Williams, Laurie A. %I ACM %K dblp %P 589-592 %T SMACK software verification toolchain. %U http://dblp.uni-trier.de/db/conf/icse/icse2016c.html#CarterHWRE16 %@ 978-1-4503-4205-6

@inproceedings{conf/icse/CarterHWRE16, added-at = {2021-08-10T00:00:00.000+0200}, author = {Carter, Montgomery and He, Shaobo and Whitaker, Jonathan and Rakamaric, Zvonimir and Emmi, Michael}, biburl = {https://www.bibsonomy.org/bibtex/21b49216acba978ff1575163ea8d5dd28/dblp}, booktitle = {ICSE (Companion Volume)}, crossref = {conf/icse/2016c}, editor = {Dillon, Laura K. and Visser, Willem and Williams, Laurie A.}, ee = {https://ieeexplore.ieee.org/document/7883347/}, interhash = {dc2d3a00fc4b746221495b7ccbc41d0b}, intrahash = {1b49216acba978ff1575163ea8d5dd28}, isbn = {978-1-4503-4205-6}, keywords = {dblp}, pages = {589-592}, publisher = {ACM}, timestamp = {2024-04-10T15:18:39.000+0200}, title = {SMACK software verification toolchain.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2016c.html#CarterHWRE16}, year = 2016 }