Quicr

swMATH10094MaRDI QIDQ22063FDOQ22063

Author name not available (Why is that?)

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