contractLarva

swMATH26911MaRDI QIDQ38633FDOQ38633

Author name not available (Why is that?)

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

Cited In (3)

• 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

This page was built for software: contractLarva