watch 01:25
Jurassic World: Dominion Dominates Fandom Wikis - The Loop
Do you like this video?
Play Sound
Alloy is a formal specification language that has an associated tool, developed by Daniel Jackson (computer scientist)↑ at MIT↑. It is influenced by the Z notation.
See also[]
- ABZ conference
