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
|