Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
Farn Wang (ed.)
Bok Engelsk 2004 ATVA 2004
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | XII, 506 s. : ill.
|
| Emner | |
| ISBN | 3540236104
|
