Loading [Contrib]/a11y/accessibility-menu.js

九州大学 マス・フォア・インダストリ研究所

研究・技術カタログ

一括PDFダウンロード用ページ
2025年度研究・技術カタログ(PDF)

Algebraic specification

  • Daniel GAINA
  • Keyword: Logic, Formal Methods, Category Theory
  • 詳細