Tests and proofs
Subtitle: second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings
By: Bernhard Beckert, Reiner Hähnle (eds.).
Contributors: Beckert, Bernhard.; Hähnle, Reiner.
Series: Lecture notes in computer science -- 4966; LNCS sublibrary
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 191
ISBN-13: 9783540791232
Subjects: Computer software -- Testing -- Congresses; Computer software -- Reliability -- Congresses; Computer software -- Quality control -- Congresses
Genres: Congresses.
Other titles: TAP 2008
Notes: Includes bibliographical references and index.

Also issued online.