Yih-Juen Tsay

1 published title

Automated technology for verification and analysis : third international conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, proceedings

(Contributor)

1 edition