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

Por ATVA 2006, Graf, Susanne., Zhang, Wenhui.
Publicado em 2006