Lecture Notes in Computer Science: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Cook, Byron; Podelski, Andreas

Details

Published by: Springer

Publication Date: 2007-01-03

Format: Paperback

ISBN-13: 9783540697350

DOI: 10.1007/978-3-540-69738-1

Dimensions: 235cm x155cm

Pages: 395