Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings /

This book constitutes the proceedings of the 4th International Conference on Tests and Proofs, held in Málaga, Spain, in July 2010.

Saved in:

Bibliographic Details
Main Author:	Fraser, Gordon
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gargantini, Angelo, 1969-
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:	Lecture notes in computer science ; 6143.
Subjects:	Computer science. Software engineering. Computer software. Logic design.
Online Access:	Full text (Wentworth users only).

Internet

Full text (Wentworth users only).