Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
Васильев Павел Константинович. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения : диссертация ... кандидата физико-математических наук : 05.13.11 / Васильев Павел Константинович; [Место защиты: С.-Петерб. гос. ун-т].- Санкт-Петербург, 2008.- 151 с.: ил. РГБ ОД, 61 09-1/17
