Hardware and Software: Verification and Testing
Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Hardware and Software: Verification and Testing - 2011
978-3-642-19583-9
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Hardware and Software: Verification and Testing - 2011
978-3-642-19583-9
Logics and Meanings of Programs
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science