Cited in
(17)- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- HOL-OCL
- MMT
- CRC 3
- K tool
- ATL
- Dist-Orc
- MOMENT2
- VIDEAS
- UML2Alloy
- FORMULA 2.0
- vlogsl
- Java+ITP
- 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
