Back
Кондратьев Д.А.
Промский А.В.
Аксиоматическая семантика подмножества языка Cloud Sisal для верификации программ инженерной математики
Reporter:
Кондратьев Д.А.
To reports list