Dorde Mijovic
智慧合約先寫形式化規格，將人工審查重心轉向行為規則
Don't Review the Code: Formal Specs First Smart Contract Development
講者指出，人工智慧（AI）代理加快智慧合約與測試的產出，卻讓開發者面對難以負荷的程式碼審查量。
Don't Review the Code: Formal Specs First Smart Contract Development
講者指出，人工智慧（AI）代理加快智慧合約與測試的產出，卻讓開發者面對難以負荷的程式碼審查量。