contractLarva
From MaRDI portal
Software:38633
No author found.
Source code repository: https://github.com/gordonpace/contractLarva
Related Items (3)
Incorporating monitors in reactive synthesis without paying the price ⋮ Principled Software Development ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)
This page was built for software: contractLarva
