Tests and Proofs
Catherine Dubois, Burkhart Wolff
Tests and Proofs - Springer 2018 - Lecture Notes in Computer Science .
Computer Science
Tests and Proofs - Springer 2018 - Lecture Notes in Computer Science .
Computer Science