Automated technology for verification and analysis：4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings

Corporate Authors: ATVA 2006 (2006 Beijing, China
Group Author: Graf Susanne; Zhang Wenhui 1963-
Published: Springer,
Publication Dates: c2006.
Call Number: TP301.6-532/A939/2006