Paradigm

swMATH40756MaRDI QIDQ5975083FDOQ5975083

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-30734-3_17

Described by source

• Towards a proof method for Paradigm

This page was built for software: Paradigm