👤 Corina S. Păsăreanu

Symbolic Execution and Quantitative Reasoning Corina S. Păsăreanu