TY  - BOOK
AU  - Тарасюк,О.М.
AU  - Горбенко,А.В.
AU  - Харченко,В.С.
TI  - Формальные методы разработки критического программного обеспечения : : лекц. материал 
SN  - 978-966-96770-8-2
PY  - 2009///
CY  - Харьков
PB  - ХАИ
KW  - Програмне забезпечення
ER  -