Tests and Proofs: First Inteational Conference, TAP

Tests and Proofs: First Inteational Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

Hardcover: 217 pages

Publisher: Springer (August 9, 2007)

Language: English

ISBN-10: 3540737693