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