Symbolic Execution and Quantitative Reasoning

By clibrary on Mon, 06/23/2025 - 20:12
Author

Corina S. Păsăreanu

Publisher

Synthesis Collection of Technology (R0)

Subject

Computing and Processing

Year

2020

ISBN

9783031025518

URL
https://doi.org/10.1007/978-3-031-02551-8