Quicr

MaRDI QIDQ22063swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-08867-9_57

Described by source

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

Cited in

(1)

• FixBag

This page was built for software: Quicr