Bouajjani, Ahmed Chin, Wei-Ngan Eds.,
Automated technology for verification and analysis 8th International symposium, ATVA 2010, Singapore, September 2010 Proceedings - 2010 Springer - Lecture Notes in Computer Science; 006252 .
9783642156427
Computer Science
681 LNCS
Automated technology for verification and analysis 8th International symposium, ATVA 2010, Singapore, September 2010 Proceedings - 2010 Springer - Lecture Notes in Computer Science; 006252 .
9783642156427
Computer Science
681 LNCS