Maude system

implementation of rewriting logic developed at SRI International

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

หมวดหมู่:

softwareprogramming language