Tests and proofs : 4th international conference, TAP, Malaga, Spain, July 1-2, 2010 (e-book)
Tests and proofs : 4th international conference, TAP, Malaga, Spain, July 1-2, 2010 (e-book)
- Berlin 2010 Springer
- lncs v.6143 LNCS Sublibrary: SL 2 – Programming and Software Engineering .
978-3-642-13977-2
Computer Science and Engineering
Computer software--Testing--Congresses
Computer software--Reliability--Congresses
Computer software--Quality control--Congresses
978-3-642-13977-2
Computer Science and Engineering
Computer software--Testing--Congresses
Computer software--Reliability--Congresses
Computer software--Quality control--Congresses