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