Julien Vanegue, Sean Heelan. SMT Solvers in Software Security. In Elie Bursztein, Thomas Dullien, editors, 6th USENIX Workshop on Offensive Technologies, August 6-7, 2012, Bellevue, WA, USA, Proceedings. pages 85-96, USENIX Association, 2012. [doi]
@inproceedings{VanegueH12,
title = {SMT Solvers in Software Security},
author = {Julien Vanegue and Sean Heelan},
year = {2012},
url = {http://www.usenix.org/conference/woot12/smt-solvers-software-security},
researchr = {https://researchr.org/publication/VanegueH12},
cites = {0},
citedby = {0},
pages = {85-96},
booktitle = {6th USENIX Workshop on Offensive Technologies, August 6-7, 2012, Bellevue, WA, USA, Proceedings},
editor = {Elie Bursztein and Thomas Dullien},
publisher = {USENIX Association},
}