Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings - CAV 2011. 2011 : Snowbird, USA); Qadeer, Shaz.; Gopalakrishnan, Ganesh (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Artificial intelligence