APA (7th ed.) Citation

Garoche, P. (2019). Formal verification of control system software. Princeton University Press.

Chicago Style (17th ed.) Citation

Garoche, Pierre-Loïc. Formal Verification of Control System Software. Princeton, New Jersey: Princeton University Press, 2019.

MLA (8th ed.) Citation

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

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