Monterey Workshop Redmond, Wash, SpringerLink (Online service), Calinescu, R., & Jackson, E. (2011). 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. Springer.
Chicago (17e ed.) BronvermeldingMonterey Workshop Redmond, Wash, SpringerLink (Online service), Radu Calinescu, en Ethan Jackson. 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, Heidelberg: Springer, 2011.
MLA (9e ed.) BronvermeldingMonterey Workshop Redmond, Wash, et al. 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. Springer, 2011.