Ganesh C. Gopalakrishnan,Shaz Qadeer: Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings



____________________________
Author: Ganesh C. Gopalakrishnan,Shaz Qadeer
Number of Pages: 763 pages
Published Date: 24 Jan 2012
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783642221095
Download Link: Click Here
____________________________