Lecture Notes in Computer Science: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Touili, Tayssir; Cook, Byron; Jackson, Paul

Details

Published by: Springer

Publication Date: 2010-06-30

Format: Paperback

ISBN-13: 9783642142949

DOI: 10.1007/978-3-642-14295-6

Dimensions: cm xcm

Pages: 676