Tests and proofs : 5th international conference : proceedings, TAP, Zurich, Switzerland, June 30 - July 1, 2011 (e-book)

Tests and proofs : 5th international conference : proceedings, TAP, Zurich, Switzerland, June 30 - July 1, 2011 (e-book) - Berlin Springer 2011 - Lecture Notes in Computer Science (LNCS) v.6706 LNCS Sublibrary : SL 2 – Programming and Software Engineering .

978-3-642-21768-5


Computer Science and Engineering
Computer software--Testing--Congresses
Computer software--Verification--Congresses
Formal methods (Computer science)--Congresses

Powered by Koha