Maude system

implementation of rewriting logic developed at SRI International

en-US/ˈmɔd ˈsɪstəm/

Categories:

softwareprogramming language