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
- Twenty years of rewriting logic
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
- The Rewriting Logic Semantics Project: A Progress Report
- PTL: a model transformation language based on logic programming
This page was built for software: ITP/OCL
