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