Automated Technology for Verification and Analysis [Risorsa elettronica] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540319696
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3707