情報なし
ざっと一巡り
論理系
言語
解析
事例
練習問題
Alloy言語リファレンス
中核の意味論
図的記法
Alloy以外の手法
Alloy Analyzerクイックガイド
訳語一覧
・クラウドが好きな大学生が読んで良さげだった本を紹介する[2021-11-27に投稿]