Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Beckert, Bernhard, Hähnle, Reiner
Format:	Buch
Sprache:	eng
Schlagworte:	Computer software-Quality control-Congresses Computer software-Reliability-Congresses Computer software-Testing-Congresses
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.