Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb. Constructing Semantic Models of Programs with the Software Analysis Workbench. In Sandrine Blazy, Marsha Chechik, editors, Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Volume 9971 of Lecture Notes in Computer Science, pages 56-72, 2016. [doi]
Abstract is missing.