TY  - BOOK
ED  - "Program semantics, specification and verification: theory and application", workshop
ED  - "Computer science in Russia", international symposium
TI  - Second Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011
SN  - 978-5-8397-0812-9
PY  - 2011///
CY  - Yaroslavl
PB  - [s.n.]
KW  - Программы (компьют.)
KW  - Съезды, совещания и т.п
KW  - RU\NLR\AUTH\661311565
KW  - З973.2-018я431(0)
N2  - Библиогр. в конце докл
ER  -