Khoroshilov, Artem L.
7  results:
Search for persons X
?
4

Deductive Binary Code Verification Against Source-Code-Leve..:

, In: Tests and Proofs; Lecture Notes in Computer Science,
 
1-7