Automated technology for verification and analysis：7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings

Corporate Authors: ATVA 2009 (2009 Macau, China); SpringerLink (Online service)
Group Author: Ravn Anders P.; Liu Zhiming, 1961-
Published: Springer-Verlag,
Publication Dates: c2009.