Специальность ВАК: 05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей)
E-mail:
Ключевые слова: верификация,языки программирования,Си,C-light,метод Хоара

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

дедуктивная верификация программ

Публикации за последние годы

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

• 
• 
• 
• 
• 
• 

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

• Институт систем информатики им. А. П. Ершова СО РАН, г. Новосибирск