![](/img/cover-not-exists.png)
[IEEE 2018 Ivannikov Memorial Workshop (IVMEM) - Yerevan, Armenia (2018.5.3-2018.5.4)] 2018 Ivannikov Memorial Workshop (IVMEM) - Deterministic Static Analysis
Borodin, Alexey, Belevantsev, Andrey, Zhurikhin, Dmitry, Izbyshev, AlexeyYear:
2018
Language:
english
DOI:
10.1109/IVMEM.2018.00009
File:
PDF, 97 KB
english, 2018