Simpl

swMATH32234MaRDI QIDQ43945FDOQ43945

Author name not available (Why is that?)

Cited In (1)

• Building program construction and verification tools from algebraic principles

This page was built for software: Simpl