Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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