एपीए उद्धरण

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

शिकागो स्टाइल उद्धरण

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

एमएलए उद्धरण

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