Труды семинара «Семантика, спецификация и верификация программ: теория и приложения». Казань, 14-15 июня 2010сборник

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

---

• • 2010 Using adaptive symmetry reduction for LTL model checking
  • Konnov I.V., Zakharov V.A.
  • в сборнике Труды семинара «Семантика, спецификация и верификация программ: теория и приложения». Казань, 14-15 июня 2010, с. 5-11