Z の標準化に関する FAQ

日本における形式的仕様記述言語に関する研究

• 大阪大学谷口研究室 (LOTOS group)
• 奈良先端大荒木研
• 東京工業大学佐伯研
• IPA 先進的情報処理技術開発促進事業の 1 テーマとして 実行可能な形式仕様言語システムの研究開発

仕様記述言語の標準化

• E-LOTOS 最新文書