APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.