APA সাইটেশন

Havelund, K., Peleska, J., Roscoe, B., & Vink, E. d. (2020). Formal Methods. Springer International Publishing.

শিকাগো স্টাইলে সাইটেশন

Havelund, Klaus, Jan Peleska, Bill Roscoe, এবং Erik de Vink. Formal Methods. Springer International Publishing, 2020.

এমএলএ সাইটেশন

Havelund, Klaus, Jan Peleska, Bill Roscoe, এবং Erik de Vink. Formal Methods. Springer International Publishing, 2020.