TY  - BOOK
AU  - Nepomnjaščij, V. A.
ED  - "Program semantics, specification and verification: theory and application", workshop
ED  - "Computer science in Russia", international symposium
TI  - Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012
SN  - 978-5-91326-183-0
PY  - 2012///
CY  - Nizhni Novgorod
PB  - Nizhni Novgorod state univ.
KW  - Программы (компьют.)
KW  - Съезды, совещания и т.п
KW  - RU\NLR\AUTH\661311565
KW  - З973.2-018я431(0)
N2  - Библиогр. в конце докл
ER  -