Back to Results
First PageMeta Content
Software 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 1
Add to Reading List

Document Date: 2017-08-11 12:57:48


Open Document

File Size: 1,34 MB

Share Result on Facebook