Software Verification and Analysis More Books Like This

Tests and Proofs Tests and Proofs
Tests and Proofs
2008
Tests and Proofs Tests and Proofs
Tests and Proofs
2007
Tests and Proofs Tests and Proofs
Tests and Proofs
2016
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2011
Tests and Proofs Tests and Proofs
Tests and Proofs
2010
Software Testing Software Testing
Software Testing
2015
Functional and Constraint Logic Programming Functional and Constraint Logic Programming
Functional and Constraint Logic Programming
2019
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2009
Static Analysis Static Analysis
Static Analysis
2017
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018
Testing Software and Systems Testing Software and Systems
Testing Software and Systems
2017
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
Declarative Programming and Knowledge Management
2014
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2017
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2008
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2010