Tests and Proofs
Martina Seidl, Nikolai Tillmann
Tests and Proofs - Springer 2014 - Lecture Notes in Computer Science .
9783319090993
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 2014 - Lecture Notes in Computer Science .
9783319090993
Software Engineering; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Simulation and Modeling