Corina S. Păsăreanu

Список книг автора Corina S. Păsăreanu

    Symbolic Execution and Quantitative Reasoning

    Corina S. Păsăreanu