每千行程式碼的缺陷數趨勢圖 作者Vitalik Buterin 來源A shallow dive into formal verification 授權WTFPL(依 Vitalik blog repository 說明) 原始檔loc.png 文章引用 Markdown  *圖片來源:Vitalik Buterin〈A shallow dive into formal verification〉;依其 blog repository 說明,以 WTFPL 釋出。* 複製 Markdown