MaRDI QIDQ24657swMATHFDO
Official website https://hal.inria.fr/hal-00941626/
This page was built for software: NemoTam