Corina S. Păsăreanu

1 кн.
Сортировать по:
количеству скачиваний
Symbolic Execution and Quantitative Reasoning
Symbolic Execution and Quantitative...
Corina S. Păsăreanu