Corina S. Păsăreanu

Название: Symbolic Execution and Quantitative Reasoning

Автор: Corina S. Păsăreanu

Серия: Synthesis Lectures on Software Engineering

Жанр: Программы

Поробнее