Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)
Гуров Вадим Сергеевич. Технология проектирования и реализации объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация) : диссертация ... кандидата технических наук : 05.13.11 / Гуров Вадим Сергеевич; [Место защиты: ГОУВПО "Санкт-Петербургский государственный университет информационных технологий, механики и оптики"].- Санкт-Петербург, 2008.- 113 с.: ил.
