仕様記述言語
#Fleeting_Notes
仕様記述言語(Specification language)
Gallina
VDM
VDM++
確認用
Q. 仕様記述言語
調査用
Google.icon
仕様記述言語(日)
Google.icon
Specification language(英)
Wikipedia.icon
仕様記述言語 - Wikipedia(日)
仕様記述言語(検索) - Wikipedia(日)
Wikipedia.icon
Specification language - Wikipedia(英)
Specification language(検索) - Wikipedia(英)