Кондратьев Д.А.   Промский А.В.  

Аксиоматическая семантика подмножества языка Cloud Sisal для верификации программ инженерной математики

Докладчик: Кондратьев Д.А.