Кондратьев, Дмитрий Александрович
Младший научный сотрудникИнститут систем информатики имени А.П. Ершова СО РАН
http://www.iis.nsk.su
Россия, 630090, Новосибирcк, пр. ак. Лаврентьева, 6
Телефон: +7(383) 330-86-52, Факс: +7(383) 332-34-94
Доклад
- Кондратьев Д.А.*, Промский А.В.*
Аксиоматическая семантика подмножества языка Cloud Sisal для верификации программ инженерной математики
*Институт систем информатики имени А.П. Ершова СО РАН (Новосибирcк), Россия