APA-referens

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

Chicago-stil citat

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

MLA-referens

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

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.