Foundations of computer software. Modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Select...

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

Software Composition 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

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