First Page | Document Content | |
---|---|---|
Date: 2017-03-02 13:16:41 | Constructing Semantic Models of Programs with The Software Analysis Workbench Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, and Aaron Tomb Galois, Inc., Portland, Oregon, United States {rdockiAdd to Reading ListSource URL: saw.galois.comDownload Document from Source WebsiteFile Size: 101,34 KBShare Document on Facebook |