1
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [E-Book] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers /