Lecture Notes in Computer Science: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Hunt, Jr., Warren A.; Somenzi, Fabio

Details

Published by: Springer

Publication Date: 2003-06-27

Format: Paperback

ISBN-13: 9783540405245

DOI: 10.1007/b11831

Dimensions: 233cm x155cm

Pages: 462