Cited in
(13)- Modula
- NAT2TEST
- SCIFF
- HLIO
- DeltaJ
- DarwinSPL
- DeltaEcore
- JOANA
- SCCharts
- SCEst
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- Incorporating monitors in reactive synthesis without paying the price
- A survey of challenges for runtime verification from advanced application domains (beyond software)
This page was built for software: contractLarva
