Normal view
MARC view
Automated Technology for verification and analysis (ATVA 2012 ) (2012 : Trivandrum, India) (Meeting Name)
Machine generated authority record.
Work cat.: ()1200892: Automated Technology for verification and analysis (ATVA 2012 ) (2012 : Trivandrum, India), Automated technology for verification and analysis :, c2012
