Symbolic Execution and Quantitative Reasoning. Corina S. Păsăreanu
Программы. Synthesis Lectures on Software Engineering
- Название
- Symbolic Execution and Quantitative Reasoning
- Автор:
- Corina S. Păsăreanu
- Серия:
- Synthesis Lectures on Software Engineering
- Жанр:
- Программы
- Год выпуска:
- 0
- isbn:
- 9781681738550
- Аннотация: