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