![](/img/cover-not-exists.png)
[IEEE 2018 Ivannikov Memorial Workshop (IVMEM) - Yerevan, Armenia (2018.5.3-2018.5.4)] 2018 Ivannikov Memorial Workshop (IVMEM) - Design and Development of Svace Static Analyzers
Belevantsev, Andrey, Borodin, Alexey, Dudina, Irina, Ignatiev, Valery, Izbyshev, Alexey, Polyakov, Sergey, Velesevich, Evgeny, Zhurikhin, DmitryYear:
2018
DOI:
10.1109/IVMEM.2018.00008
File:
PDF, 8 KB
2018