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