Păsăreanu, C. S. c. 2. J. (2020). Symbolic execution and quantitative reasoning: Applications to software safety and security. Morgan & Claypool Publishers.
Chicago-Zitierstil (17. Ausg.)Păsăreanu, Corina S. ca. 20./21. Jhd. Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security. [San Rafael, California]: Morgan & Claypool Publishers, 2020.
MLA-Zitierstil (9. Ausg.)Păsăreanu, Corina S. ca. 20./21. Jhd. Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security. Morgan & Claypool Publishers, 2020.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.