9783540737698 | Springer-Verlag New York Inc, October 4, 2007, cover price $69.95 |
About this edition: Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007.