The proceedings of the tenth international symposium on Automated Technology for Verification and Analysis (ATVA), 2012, is available online as Springer Lecture Notes in Computer Science (LNCS), Vol. 7561.
You can find information about it at
http://www.springeronline.com/978-3-642-33385-9
or access the online version at
http://www.springerlink.com/content/978-3-642-33385-9