KERNELC

swMATH38622MaRDI QIDQ54322FDOQ54322

Author name not available (Why is that?)

Official website: https://content.iospress.com/articles/fundamenta-informaticae/fi1989

Described by source

• Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework

Cited In (2)

• RALib
• KindSpec

This page was built for software: KERNELC