KindSpec

swMATH21609MaRDI QIDQ33414FDOQ33414

Author name not available (Why is that?)

Described by source

• Symbolic abstract contract synthesis in a rewriting framework

Cited In (1)

• Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework

This page was built for software: KindSpec