Yuri Leonidovich Ershov
发表
Yuri Leonidovich Ershov,
Yuri Leonidovich Ershov,
1993,
Formal Methods in Programming and Their Applications.
Yuri Leonidovich Ershov,
Yuri Leonidovich Ershov,
1997,
Theor. Comput. Sci..