Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Berlin
Springer
2011
xii, 238 p. : ill. )some col.(
Lecture notes in computer science; 2666
LNCS sublibrary. SL 2, Programming and software engineering
Title from PDF title page )SpringerLink, viewed Sep. 28, 2011(