Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
Edición de la obra Symbolic Execution and Quantitative Reasoning
| Autor | Corina S. Păsăreanu |
|---|---|
| Editorial | Morgan & Claypool Publishers |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| Páginas | 75 |
| ISBN-13 | 9781681738567 |
| Número de Cutter | P277s |