Lecture Notes in Computer Science: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Grumberg, Orna; Huth, Michael

Details

Published by: Springer

Publication Date: 2007-03-09

Format: Paperback

ISBN-13: 9783540712084

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

Dimensions: 229cm x152cm

Pages: 740