SMT Solvers in Software Security bibtex

vanegue_smt_solvers_2012.bib

@inproceedings {vanegue_smt_solvers_2012,
title = {{SMT} Solvers in Software Security},
author = {Vanegue, Julien and Heelan, Sean and Rolles, Rolf},
booktitle = {Presented as part of the 6th {USENIX} Workshop on Offensive Technologies},
year = {2012},
address = {Bellevue, WA},
url = {https://www.usenix.org/conference/woot12/workshop-program/presentation/Vanegue},
publisher = {{USENIX}},
}