形式手法の題材 - pogi-log

形式手法の題材

ハノイの塔

有向グラフ

アドレス帳

確認用

Q. 形式手法の題材

参考

『形式手法適用調査調査概要資料』

『抽象によるソフトウェア設計 Alloyではじめる形式手法』

関連

調査用

/pogi-log/Google.icon 形式手法の題材

#Fleeting_Notes