First Page | Document Content | |
---|---|---|
Date: 2018-08-03 20:31:21C Data types Software engineering Computing Computer programming Pointer Compatibility of C and C++ Const Typedef | A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017Add to Reading ListSource URL: seahorn.github.ioDownload Document from Source WebsiteFile Size: 1,67 MBShare Document on Facebook |