形式手法とコスト、損益分岐点
#Fleeting_Notes
形式手法とコスト、
損益分岐点
(Formal methods and costs, break-even point)
メモ
Galois - What Works (and Doesn't) Selling Formal Methods
形式手法入門： 利点・期待と欠点・限界｜ディペンダブル・システムのための形式手法の実践ポータル
調査用
Google.icon
形式手法とコスト、損益分岐点(日)
Google.icon
Formal methods and costs, break-even point(英)