Кондратьев, Дмитрий Александрович
Junior Research ScientistA.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
- Кондратьев Д.А.*, Промский А.В.*
Аксиоматическая семантика подмножества языка Cloud Sisal для верификации программ инженерной математики
*A.P. Ershov Institute of Informatics Systems of SB RAS (Novosibirsk), Russia