Deductive Binary Code Verification Against Source-Code-Level Specifications
Published in Lecture notes in computer science • Jan 1, 2020
NobleIDNI2P60W33R59S53
Authors:,,
Alexander Kamkin
Alexey Khoroshilov
Artem Kotsynyak
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!