Skip to content

Instantly share code, notes, and snippets.

Created October 30, 2019 13:28
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 = {},
publisher = {{USENIX}},
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment