APA (7. basım) Alıntı

Garoche, P. (2019). Formal verification of control system software. The MIT Press.

Chicago Style (17. basım) Atıf

Garoche, Pierre-Loïc. Formal Verification of Control System Software. Cambridge, Massachusetts: The MIT Press, 2019.

MLA (9th ed.) Atıf

Garoche, Pierre-Loïc. Formal Verification of Control System Software. The MIT Press, 2019.