![](/img/cover-not-exists.png)
On the problems of developing KLEE based symbolic interpreter of binary files
Kononov, Vasiliy, Rusakov, Victor A.Volume:
145
Year:
2018
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2018.11.058
File:
PDF, 282 KB
english, 2018