Event-B : リファインメントに基づくシステム・モデリング

スポンサーリンク

概要

日本ソフトウェア科学会 ; 1984- | 論文

もっと見る

スポンサーリンク