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