Skip to content

Instantly share code, notes, and snippets.

@SeanHeelan

SeanHeelan/vanegue_smt_solvers_2012.bib Secret

Created October 30, 2019 13:28
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save SeanHeelan/88785f70dec62b2b0653f946342ae1d1 to your computer and use it in GitHub Desktop.
Save SeanHeelan/88785f70dec62b2b0653f946342ae1d1 to your computer and use it in GitHub Desktop.
Download ZIP
SMT Solvers in Software Security bibtex
Raw
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}},
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment