Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
E-book
Electronic resources
Record details
- ISBN: 9783540319696
-
Physical Description:
electronic
electronic resource
access
remote
XII, 506 p. Also available online. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.