Cuellar, J., & Maibaum, T. (2020). FM 2008: Formal Methods. Springer Berlin Heidelberg.
শিকাগো স্টাইলে সাইটেশনCuellar, Jorge, এবং Tom Maibaum. FM 2008: Formal Methods. Springer Berlin Heidelberg, 2020.
এমএলএ সাইটেশনCuellar, Jorge, এবং Tom Maibaum. FM 2008: Formal Methods. Springer Berlin Heidelberg, 2020.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.