Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /

Bibliographic Details
Corporate Authors:	TAP 2008 Prato, Italy, SpringerLink (Online service)
Other Authors:	Beckert, Bernhard, Hähnle, Reiner
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2008.
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science. 4966.
Subjects:	Computer software > Quality control > Congresses. Computer software > Reliability > Congresses. Computer software > Testing > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book