Alloy 6 の新機能 Mutable Field と線形時相論理

Alloy 6 の新機能 Mutable Field と線形時相論理
https://zenn.dev/y_taka_23/articles/alloy-mutable-fields

last-modified: 2021-12-09 12:14:09