Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

The calculus of computation decision procedures with applications to verification 由 Bradley, Aaron R.

Kode vicious bugs out. 由 Neville-Neil, George

Compliance deconstructed. 由 Cannon, J.C

Review of "Working effectively with legacy code by Michael Feathers". 由 Berzal, Fernando

Stop whining about outsourcing!. 由 Patterson, David

An introduction to formal program verification 由 Mili, Ali

Software verification and validation realistic project approaches Michael S. Deutsch. 由 Deutsch, Michael S.

Formal methods of program verification and specification