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

Book

Program Semantics, Specification and Verification: Theory and Applications. The conference materials. 6th International Computer Science Symposium in Russia

Yaroslavl: Yaroslavl State University, 2011.
Academic editor: V. Nepomniaschy, V. Sokolov.
Editor-in-chief: V. Nepomniaschy.
Chapters
Program Semantics, Specification and Verification: Theory and Applications. The conference materials. 6th International Computer Science Symposium in Russia