Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: C
Number of items: 1.

C

Christakis, Maria, Godefroid, Patrice (2015) Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. In: Verification, Model Checking, and Abstract Interpretation. Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015 Proceedings. Lecture Notes in Computer Science (LNCS) , 8931. pp. 373-392. Springer ISBN 978-3-662-46080-1. E-ISBN 978-3-662-46081-8. (doi:10.1007/978-3-662-46081-8_21) (KAR id:58943)
Format: PDF

This list was generated on Tue Dec 24 22:52:11 2024 GMT.