Context

Context of Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings, Ahmed Bouajjani, Wei-Ngan Chin (eds.), (electronic resource)
Processing Feedback ...