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
© Designed and Maintained by Vivekananda Library, MDU Rohtak