CafeInMaude

MaRDI QIDQ31424swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/978-3-662-49665-7_22

Cited in

(8)

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

This page was built for software: CafeInMaude