Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Doron A. Peled, Yih-Kuen Tsay (eds.)
Bok Engelsk 2005 ATVA 2005
Utgitt | Berlin : Springer , c2005
|
---|---|
Omfang | XII, 506 s. : ill.
|
Emner | |
ISBN | 3540292098. - 9783540292098
|