First Page | Document Content | |
---|---|---|
Date: 2017-08-11 12:57:48Software engineering Computing Computer programming Program analysis Object-oriented programming languages Frama-C Software testing Static program analysis Abstract interpretation OCaml Type system Formal methods | Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures Dillon Pariente1 and Julien Signoles2 1Add to Reading ListSource URL: julien.signoles.free.frDownload Document from Source WebsiteFile Size: 1,34 MBShare Document on Facebook |