APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.