MOP
From MaRDI portal
swMATH14036MaRDI QIDQ25945FDOQ25945
Author name not available (Why is that?)
Official website: https://dl.acm.org/doi/10.1145/1297105.1297069
Cited In (38)
- Tools and Algorithms for the Construction and Analysis of Systems
- LOLA
- FoCs
- ConSpec
- BeepBeep
- AspectJ
- AspectWerkz
- Limmat
- Atomizer
- Eraser
- ConQAT
- Velodrome
- evt
- JPAX
- Nighthawk
- SPARK Pro
- AspectC++
- InterAspect
- Contract
- Java-MOP
- CodeSonar
- Klockwork
- EXPLODE
- Java-MaC
- Racket
- TreatJS
- Scribble
- LARVA
- SPY
- Timed Conversation
- Klocwork
- FACTum
- J-LO
- Jass
- PQL
- AMT
- TeSSLa
- DejaVu
This page was built for software: MOP
