Automated technology for verification and analysis : Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 proceedings
International Symposium on Automated Technology for Verification and Analysis International Symposium on Automated Technology for Verification and Analysis 3rd Taipei, Taiwan 2005 ; Peled, Doron A. (1962-...) ; Tsay, Yih-Kuen
Berlin New York, NY : Springer, 2005
Voir les exemplaires