TY  - BOOK
AU  - Trachtenbrot, B.A.
AU  - Dechtjar', M.I.
AU  - Valiev, M.K.
AU  - Šilov, N. V.
ED  - "Program semantics, specification and verification: theory and application", workshop
TI  - 9th workshop "Program semantics, specification and verification: theory and applications" dedicated to the memory of B. A. Trakhtenbrot, M. I. Dekhtyar, and M. K. Valiev (Yaroslavl, Russia, June 21-22, 2018)
SN  - 978-5-8397-1149-5
PY  - 2018///
CY  - Yaroslavl
PB  - Yaroslavl state univ.
KW  - Трахтенброт
KW  - Дехтярь
KW  - Валиев
KW  - Программирование (компьют.)
KW  - Съезды, совещания и т.п
KW  - RU\NLR\AUTH\661257252
KW  - З973.2-018я431(2)
KW  - З973.233д(2)Трахтенброт
KW  - З973.233д(2)Дехтярь
KW  - З973.233д(2)Валиев
N2  - Библиогр. в конце докл
ER  -