ITP/OCL
From MaRDI portal
Software:15266
swMATH2727MaRDI QIDQ15266FDOQ15266
Author name not available (Why is that?)
Cited In (5)
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
- PTL: a model transformation language based on logic programming
This page was built for software: ITP/OCL
