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 Berlin Heidelberg.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Radu Calinescu, and 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 Berlin Heidelberg, 2011.
MLA (8th ed.) CitationSpringerLink (Online service), 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 Berlin Heidelberg, 2011.