Normal view
MARC view
- He, Jifeng
He, Jifeng (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Liu, Zhiming. 323952, Formal Methods and Software Engineering (vol. # 4260), 2006