APA ציטוט

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

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