Библиографическая ссылка:
Жарко Е.Ф. ВЕРИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СИСТЕМЕ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ДЛЯ ОБЪЕКТОВ ПОВЫШЕННОГО РИСКА ЭКСПЛУАТАЦИИ / Труды 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 256-263.