Библиографическая ссылка:
Жарко Е.Ф. Проблемы верификации программного обеспечения систем, важных для безопасности АЭС / Труды 4-й Международной конференции «Параллельные вычисления и задачи управления» (PACO'2008, Москва). М.: ИПУ РАН, 2008. С. 343-350.