軽量形式手法
Lightweight Formal Methods
/pogi-log/Google.icon
軽量形式手法
/pogi-log/Wikipedia.icon
形式手法 - Wikipedia(ja)
/pogi-log/Wikipedia.icon
Formal methods - Wikipedia(en)
確認用
Q. 軽量形式手法
参考
『ソフトウェア工学の道具としての形式手法 Formal Methods as Software Engineering Tools』
関連
#Fleeting_Notes