APA (7 ম সংস্করণ) উদ্ধৃতি

SpringerLink (Online service) & Bobaru, M. (2011). NASA formal methods: Third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Springer.

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

SpringerLink (Online service) এবং Mihaela Bobaru. NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Berlin, New York: Springer, 2011.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

SpringerLink (Online service) এবং Mihaela Bobaru. NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Springer, 2011.