mbse.cool
:
Languages
|
Methods
|
Tools
|
Vendors
Language
Alloy
specification language
Instance of
specification language
Listed in
Specification languages
Wikipedia
Alloy (specification language)
Wikidata
Q4733254 (edit)
Methods
—
Tools
—
TODO ·
Colophon