swMATH2727MaRDI QIDQ15266FDOQ15266
Author name not available (Why is that?)
Official website: http://maude.sip.ucm.es/itp/ocl/
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
