• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book

Program Semantics, Specification and Verification: Theory and Applications. The conference materials

Nizhny Novgorod: Nizhny Novgorod State University, 2012.
Academic editor: V. Nepomniaschy, V. Sokolov.

Conference proceedings (Nizhni Novgorod, Russia, July 1-2, 2012). Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceeding of the third workshop dedicaied to formalisms for program semantics, formal models and semantics of programs and systems, semantics of programming and specification languages, etc.

Chapters
Program Semantics, Specification and Verification: Theory and Applications. The conference materials