Normal view
MARC view
He, Jifeng, 1943- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Formal Engineering Methods (8th : 2006 : Macau, China) 30014, Formal methods and software engineering :, ©2006.