Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
SAW: the software analysis workbench
HILT, 2013.
@inproceedings{HILT-2013-CarterFHHT, author = "Kyle Carter and Adam Foltzer and Joe Hendrix and Brian Huffman and Aaron Tomb", booktitle = "{Proceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology}", doi = "10.1145/2527269.2527277", isbn = "978-1-4503-2467-0", pages = "15--18", publisher = "{ACM}", title = "{SAW: the software analysis workbench}", year = 2013, }