『厳密な仕様記述における形式手法成功事例調査報告書』
厳密な仕様記述における形式手法成功事例調査報告書. 2013年1月
厳密な仕様記述における形式手法成功事例調査報告書
Felica
Tokeneer
TradeOne
#形式手法の文献
#文献