APA Цитирование

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

Chicago-стиль цитирования

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

MLA-цитирование

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.