Tests and Proofs
Subtitle: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540737704
Subjects: Computer software, reliability; Computer software, quality control