New pages
- 22:02, 20 December 2020 Some Papers on Maude and on Rewriting Logic (hist) [5,539 bytes] Malaga (Talk | contribs) (Created page with "== Roadmap and Bibliography == * Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer. * bibTeX file...")
- 22:16, 15 December 2020 Applications (hist) [6,355 bytes] Malaga (Talk | contribs) (Created page with "Maude and its formal tools have been used in many pioneering applications: • Formal definition and verification of programming and hardware, resp. software, modeling langu...")