1
Veröffentlicht 2010
Inhaltsangabe: ... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2007
Inhaltsangabe: ... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...
Volltext
Elektronisch E-Book