Cita APA (7a ed.)
Gurfinkel, A., & Heule, M. (2025). Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland.
Cita Chicago Style (17a ed.)
Gurfinkel, Arie, y Marijn Heule. Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2025.
Cita MLA (9a ed.)
Gurfinkel, Arie, y Marijn Heule. Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2025.
Precaución: Estas citas no son 100% exactas.