Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science, Band 6174)

Verification

von: Tayssir Touili · Byron Cook · Paul Jackson

Taschenbuch

EAN=ISBN-13: 978-3-642-14294-9

ISBN-10: 3-642-14294-X

Springer · 2010