Ivannikov Memorial Workshopсборник

Статьи, опубликованные в сборнике

---

• 
  • 2018 Design and Development of Svace Static Analyzers
  • Andrey Belevantsev, Alexey Borodin, Irina Dudina, Valery Ignatiev, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich, Dmitry Zhurikhin
  • в сборнике Ivannikov Memorial Workshop, место издания IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, с. 3-9 DOI
• 
  • 2018 Deterministic Static Analysis
  • Alexey Borodin, Andrey Belevantsev, Dmitry Zhurikhin, Alexey Izbyshev
  • в сборнике Ivannikov Memorial Workshop, место издания IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, с. 10-18