Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Notes in Computer Science, Band 6806)

International

von: Ganesh Gopalakrishnan · Shaz Qadeer

Taschenbuch

ISBN: 978-3-642-22109-5

ISBN-10: 3-642-22109-2

Springer · 2011