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

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1–2 in M´ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the p...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Fraser, Gordon., Gargantini, Angelo.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series: Lecture Notes in Computer Science, 6143
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-13977-2
Tags: Add Tag
No Tags, Be the first to tag this record!