| | Туркин, И. Б. Формальная верификация программного обеспечения для автоматизации испытаний систем космических аппаратов [Текст] / И.Б. Туркин, Б.Б. Михнич // Інженерія програмного забезпечення : Науковий журнал / Мінстерство освіти і науки України національний авіаційний університет. — К., 2010. — С. 15-23. |
| | |
|