Quicr

swMATH10094MaRDI QIDQ22063FDOQ22063

Author name not available (Why is that?)

Described by source

• QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers

This page was built for software: Quicr