你即將離開本站

並前往https://www.cs.cmu.edu/~jquesel/paper/refactoring.pdf

Refactoring, Refinement, and Reasoning

There are many different ways to refine models (e.g., trace refinement [9], abstraction refinement [6]); we focus on refinement w.r.t. the reachable states, ...

確定！ 回上一頁

查詢 「Code refinement」的人也找了：

  1. Refine code
    2.
  2. Refine source code
    3.