Tests and Proofs
Catherine Dubois, Burkhart Wolff
Tests and Proofs - 1st ed. 2018 - Springer International Publishing 2018 - 10889 - Lecture Notes in Computer Science .
978-3-319-92994-1
1611-3349
Tests and Proofs - 1st ed. 2018 - Springer International Publishing 2018 - 10889 - Lecture Notes in Computer Science .
978-3-319-92994-1
1611-3349