swMATH26911MaRDI QIDQ38633FDOQ38633
Author name not available (Why is that?)
Official website: https://github.com/gordonpace/contractLarva
Source code repository: https://github.com/gordonpace/contractLarva
Cited In (12)
- 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
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Incorporating monitors in reactive synthesis without paying the price
- NAT2TEST
- SCIFF
- HLIO
- DeltaJ
- DarwinSPL
- DeltaEcore
- JOANA
- SCCharts
- SCEst
This page was built for software: contractLarva
