Maude
From MaRDI portal
Software:18367
No author found.
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Maude: specification and programming in rewriting logic
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
- Unnamed Publication
