APA Style
Heule, M., Gurfinkel, A. (2025).
Tools and Algorithms for the Construction and Analysis of Systems .
:
Springer Cham.
MLA Style
Heule, Marijn., Gurfinkel, Arie.
"Tools and Algorithms for the Construction and Analysis of Systems".
:
Springer Cham,
2025.
Electronic Resource.