Tests and Proofs
Achim Brucker, Jacques Julliand
Tests and Proofs - 2012
978-3-642-30473-6
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Tests and Proofs - 2012
978-3-642-30473-6
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science