RUS
ENG
Full version
VIDEO LIBRARY
June 29, 2023
16:00
Формальная верификация на Arend
P. P. Sokolov
©
Steklov Math. Inst. of RAS
, 2024
