bn:01508573n
Noun Named Entity
NL
Averest
EN
Averest is a synchronous programming language and set of tools to specify, verify, and implement reactive systems. Wikipedia
Relations
Sources
Wikidata
NL