Tests and Proofs
Jasmin Christian Blanchette, Nikolai Kosmatov
Tests and Proofs - Springer 2015 - Lecture Notes in Computer Science .
9783319212159
Software Engineering; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Simulation and Modeling
Tests and Proofs - Springer 2015 - Lecture Notes in Computer Science .
9783319212159
Software Engineering; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Simulation and Modeling