形式化驗證(Formal Verification) jserv 黃敬群 https://hackmd.io/s/H1xxp3pF0 作業系統 https://www.ptt.cc/bbs/Gossiping/M.1506802937.A.19B.html.
確定! 回上一頁