KERNELC

MaRDI QIDQ54322swMATHFDO

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