3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012сборник

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

---

• • 2012 Algebraic Models of Programs with Procedures
  • Podlovchenko R.I., Molchanov A.E.
  • в сборнике 3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012, место издания Novgorod, Russia, с. 89-95
• • 2012 On the Designing of Model Checkers for Real-Time Distributed Systems
  • Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A.
  • в сборнике 3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012, место издания Novgorod, Russia, с. 72-81