Библиографическая ссылка:
Жарко Е.Ф. Проведение верификации программного обеспечения для объектов повышенного риска эксплуатации / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: Институт проблем управления РАН, 2012. Т. 2. С. 252-254.