Program Semantics, Specification and Verification: Theory and Application: Proc./9th International Computer Sceince Symposium in Russia, Fifth Workshop, Moscow, Russia, June 2014

Б1.3, Б3.5.

Program Semantics, Specification and Verification: Theory and Application: Proc./9th International Computer Sceince Symposium in Russia, Fifth Workshop, Moscow, Russia, June 2014Ed. by Nepomniaschy V., Sokolov V..-M.., 2014.-78 p.