APA-Zitierstil (7. Ausg.)

(2011). NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings. Springer. https://doi.org/10.1007/978-3-642-20398-5

Chicago-Zitierstil (17. Ausg.)

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings. Berlin [u.a.]: Springer, 2011. https://doi.org/10.1007/978-3-642-20398-5.

MLA-Zitierstil (9. Ausg.)

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings. Springer, 2011. https://doi.org/10.1007/978-3-642-20398-5.