HILT 2014 proceedings of the ACM Conference on High Integrity Language Technology : October 18-21, 2014, Portland, OR, USA

HILT '13 proceedings of the ACM Conference on High Integrity Language Technology : November 10-14, 2013, Pittsburgh, PA, USA

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

Reliable software technologies - Ada-Europe 2011 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

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

Tests and proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings

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

Software system reliability and security