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