Дата рождения: 1960
E-mail:

Основные темы научной работы:

символьная верификация требований, доказательное моделирование, дедуктивное тестирование

Публикации в базе данных Math-Net.Ru

Персональные страницы:

• 

Организации:

• Институт кибернетики им. В. М. Глушкова НАН Украины
• Институт кибернетики АН УССР