Normal view
MARC view
- Zhu, Huibiao
Zhu, Huibiao (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Liu, Zhiming. editor. 323952, Theories of Programming and Formal Methods, 2013.