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  - Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014
PY  - 2014///
CY  - Moscow
PB  - [s. n.]
KW  - Программирование (компьют.)
KW  - Съезды, совещания и т.п
KW  - RU\NLR\AUTH\661257252
KW  - З973.2-018я431
N2  - Библиогр. в конце докл
ER  -