Automated technology for verification and analysis. 7th international symposium, ATVA 2009, Macao, China, October 14--16, 2009. Proceedings
scientific article; zbMATH DE number 5618131