Промский, Алексей Владимирович
Research Scientist, Ph.D. in Physics and MathematicsA.P. Ershov Institute of Informatics Systems of SB RAS
http://www.iis.nsk.su
Russia, 630090, Novosibirsk, Ac. Lavrentiev Ave, 6
Phone: +7(383) 330-86-52, Fax: +7(383) 332-34-94
Report
- Промский А.В.*
На пути к верификации Си-программ: стандартная библиотека
*A.P. Ershov Institute of Informatics Systems of SB RAS (Novosibirsk), Russia