Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Ball, Thomas; Jones, Robert B.

Details

Published by: Springer

Publication Date: 2006-08-08

Format: Paperback

ISBN-13: 9783540374060

DOI: 10.1007/11817963

Dimensions: 235.0cm x155.0cm

Pages: 564.0