【Alloy】形式言語による仕様記述【VDM】
https://toro.2ch.sc/test/read.cgi/tech/1357387746/
last-modified: 2021-12-23 21:38:47