–
Статьи в журналах
Статьи в сборниках
-
-
- 2020 Deductive Binary Code Verification Against Source-Code-Level Specifications
- Kamkin Alexander, Khoroshilov Alexey, Kotsynyak Artem, Putro Pavel
- в сборнике Tests and Proofs. TAP 2020, серия Lecture Notes in Computer Science, издательство Springer International Publishing AG (Cham, Switzerland), том 12165, с. 43-58 DOI