Tests and Proofs
Martina Seidl, Nikolai Tillmann
Tests and Proofs - 2014 - Springer International Publishing 2014 - 8570 - Lecture Notes in Computer Science .
978-3-319-09099-3
1611-3349
Tests and Proofs - 2014 - Springer International Publishing 2014 - 8570 - Lecture Notes in Computer Science .
978-3-319-09099-3
1611-3349