Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
著者
書誌事項
Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings
(Lecture notes in computer science, 6252)
Springer, c2010
注記
Includes bibliographical references and index