Resources

Software Verification

Author : Christakis 

Springer

Access online

Software Verification

Author : Bloem 

Springer

Access online