Tests and proofs second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings - TAP 2008 (2008 : Prato, Italy); Beckert, Bernhard; Hahnle, Reiner; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Includes bibliographical references and index.
Also issued online.
Keywords: Computer software -- Testing -- Congresses; Computer software -- Reliability -- Congresses; Computer software -- Quality control -- Congresses