你即將離開本站

並前往https://pure.mpg.de/rest/items/item_3331804_1/component/file_3331805/content?download=true

RefinedC: Automating the Foundational ... - MPG.PuRe

ership types, refinement types, proof automation, Iris, Coq. PLDI '21, June 20ś25, 2021, ... tomating the Foundational Verification of C Code with Refined.

確定！ 回上一頁

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

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