Style de citation APA

Drechsler, R. (2020). Formal System Verification. 1st ed. 2018. Springer International Publishing.

Style de citation Chicago

Drechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.

Style de citation MLA

Drechsler, Rolf. Formal System Verification. 1st Ed. 2018. Springer International Publishing, 2020.

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