contractLarva

swMATH26911MaRDI QIDQ38633FDOQ38633

Author name not available (Why is that?)

Source code repository: https://github.com/gordonpace/contractLarva

Cited In (3)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Incorporating monitors in reactive synthesis without paying the price
• Principled Software Development

This page was built for software: contractLarva