スポンサーリンク

産業技術総合研究所:マーカス・ローゲンバッハ,スウォンジー大学 | 論文

• CSP-Prover : スケーラブルな並行システムの検証のための証明器(エージェント)

スポンサーリンク