Wenhui Zhang

1 published title

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

(Contributor)

1 edition