Constructing Semantic Models of Programs with The Software Analysis Workbench Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huﬀman, Dylan McNamee, and Aaron Tomb Galois, Inc., Portland, Oregon, United States {rdocki

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 Huﬀman, Dylan McNamee, and Aaron Tomb Galois, Inc., Portland, Oregon, United States {rdocki Add to Reading List Source URL: saw.galois.com Download Document from Source Website File Size: 101,34 KB Share Document on Facebook