CafeInMaude

swMATH19598MaRDI QIDQ31424FDOQ31424

Author name not available (Why is that?)

Cited In (3)

• CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications
• A Maude environment for CafeOBJ
• A formal proof generator from semi-formal proof documents

This page was built for software: CafeInMaude