Back
Промский, Алексей Владимирович
A.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
To participants list