TY  - BOOK
AU  - Вельдер, Сергей Эдуардович
AU  - Лукин, М. А.
AU  - Шалыто, А. А.
AU  - Яминов, Б. Р.
TI  - Верификация автоматных программ
SN  - 978-5-02-038160-5
PY  - 2011///
CY  - Санкт-Петербург
PB  - Наука
N1  - Библиогр.: с. 231-239; Алф. указ.: с. 240-242
ER  -