Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014)сборник

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

---

• • 2014 Minimizing the Number of Static Verifier Traces to Reduce Time for Finding Bugs in Linux Kernel Modules
  • Mordan Vitaly, Novikov Evgeny
  • в сборнике Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2014) DOI