Publications
] Filters: First Letter Of Last Name is V [Clear All Filters]
"An Idea of an Independent Validation of Vulnerability Discovery Models",
International Symposium on Engineering Secure Software and Systems (ESSoS), Eindhoven, 2012.
"Annotation inference for separation logic based verifiers",
Formal Techniques for Distributed Systems (FMOODS/FORTE 2011), vol. 6722: Springer, pp. 319–333, 2011.
Reykjavik, Iceland, 6-9 June 2011
