Corina S. Păsăreanu

Symbolic Execution and Quantitative Reasoning

Подробнее