Lecture Notes in Computer Science: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil

Details

Published by: Springer

Publication Date: 2006-08-10

Format: Paperback

ISBN-13: 9783540372158

DOI: 10.1007/11813040

Dimensions: 235cm x155cm

Pages: 620