Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /

Bibliographic Details
Corporate Author:	TAP 2009 Eidgenössische Technische Hochschule Zürich, Switzerland
Other Authors:	Dubois, Catherine
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2009]
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 5668.
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

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (x, 168 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	3642029493 9783642029493
ISSN:	0302-9743 ;
DOI:	10.1007/978-3-642-02949-3