Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
SMT Solvers in Software Security bibtex
@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}},
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.