Normal view
MARC view
Zhang, Wenhui, 1963- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): ATVA (Symposium) (4th : 2006 : Beijing, China) 30377, Automated technology for verification and analysis :, ©2006.