Сирота Олена Петрівна. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації : Дис... канд. наук: 05.13.06 - 2009.