KERNELC

swMATH38622MaRDI QIDQ54322FDOQ54322

Author name not available (Why is that?)

Described by source

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

This page was built for software: KERNELC