Proceedings of the SYRCoSE-2012сборник

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

---

• • 2012 Enhancement of automated static verification efficiency through manual quantifiers instantiation
  • Буздалов Д.В.
  • в сборнике Proceedings of the SYRCoSE-2012, место издания ИСП РАН Москва, с. 102-104
• • 2012 Instantiation-based interpolation for quantified formulae in CSIsat
  • Mandrykin M.U., Mutilin V.S.
  • в сборнике Proceedings of the SYRCoSE-2012, место издания ИСП РАН Москва, с. 83-93