Кондратьев, Дмитрий Александрович

Младший научный сотрудник

Институт систем информатики имени А.П. Ершова СО РАН
http://www.iis.nsk.su
Россия, 630090, Новосибирcк, пр. ак. Лаврентьева, 6
Телефон: +7(383) 330-86-52, Факс: +7(383) 332-34-94

Доклад

• Кондратьев Д.А.^*
  На пути к дедуктивной верификации C-программ, расширенных циклами языка Cloud Sisal
  ^*Институт систем информатики имени А.П. Ершова СО РАН (Новосибирcк), Россия
  

К списку участников