%0 Book %A / Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.) %T April 2, 2010, Revised Selected Papers-Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 %U /book/93614667/April-2-2010-Revised-Selected-PapersFoundations/