Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2020)сборник

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

---

• • 2020 Architecture of a Machine Code Deductive Verification System
  • Kamkin Alexander, Khoroshilov Alexey, Kotsynyak Artem, Putro Pavel, Gladyshev Ilya
  • в сборнике Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2020)
• • 2020 Modeling of library functions in an industrial static code analyzer
  • Belyaev Mikhail, Romanenkov Egor, Ignatyev Valery
  • в сборнике Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2020)