Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings
Susanne Graf, Wenhui Zhang (eds.)
Bok Engelsk 2006 ATVA 2006
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | XIV, 540 s. : ill.
|
| Emner | |
| ISBN | 3540472371. - 9783540472377
|
