Заседание N 926

28 апреля 2020

Время: 14.30

Подключиться к семинару можно по ссылке

https://zoom.us/j/93052963931?pwd=djc1eWZ4ZUV0Y1dtTGlOYU1RTWZkQT09

Д.А. Кондратьев

«Аксиоматическая семантика языка Cloud Sisal Kernel»