Технология проектирования и реализации объектно-ориетированных программ с явным выделением состояний (метод, инструментальное средство, верификация) : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>
Технология проектирования и реализации объектно-ориетированных программ с явным выделением состояний (метод, инструментальное средство, верификация) : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>