Tests and proofs
Subtitle: third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings
By: Catherine Dubois (eds)
Contributors: Dubois, Catherine
Series: Lecture notes in computer science -- 5668
Publisher: Springer
Published: 2009
Place of publication: Berlin
Language: eng
Number of pages: 168
ISBN-13: 9783642029486
Subjects: Computer software; Congresses; Reliability; Testing; Quality control
Notes: Includes bibliographical references and index.