Style de citation APA

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

Style de citation Chicago

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

Style de citation MLA

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

Attention : ces citations peuvent ne pas être correctes à 100%.