%0 Conference Paper %1 conf/vstte/DockinsFHHMT16 %A Dockins, Robert %A Foltzer, Adam %A Hendrix, Joe %A Huffman, Brian %A McNamee, Dylan %A Tomb, Aaron %B VSTTE %D 2016 %E Blazy, Sandrine %E Chechik, Marsha %K dblp %P 56-72 %T Constructing Semantic Models of Programs with the Software Analysis Workbench. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2016.html#DockinsFHHMT16 %V 9971 %@ 978-3-319-48868-4

@inproceedings{conf/vstte/DockinsFHHMT16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Dockins, Robert and Foltzer, Adam and Hendrix, Joe and Huffman, Brian and McNamee, Dylan and Tomb, Aaron}, biburl = {https://www.bibsonomy.org/bibtex/26f62596cea40c1c8efe3dd3e83df0a1c/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2016}, editor = {Blazy, Sandrine and Chechik, Marsha}, ee = {https://doi.org/10.1007/978-3-319-48869-1_5}, interhash = {606768286dc9feebf36a3ea3122dd124}, intrahash = {6f62596cea40c1c8efe3dd3e83df0a1c}, isbn = {978-3-319-48868-4}, keywords = {dblp}, pages = {56-72}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:31:39.000+0200}, title = {Constructing Semantic Models of Programs with the Software Analysis Workbench.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2016.html#DockinsFHHMT16}, volume = 9971, year = 2016 }