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


ATVA 2006
Bok Engelsk 2006

Detaljer

Bibliotek som har denne