TY  - CONF
AU  - Cohl, Howard
AU  - Youssef, Abdou
AU  - Petter, Andre Greiner
AU  - Schubotz, Moritz
AU  - Gipp, Bela
AU  - Aizawa, Akiko
AU  - Trost, Avi
AU  - Dey, Rajen
C2  - Tools and Algorithms for the Construction and Analysis of Systems, Munich, DE
DA  - 2022-03-30 04:03:00
DO  - https://doi.org/10.1007/978-3-030-99524-9
LA  - en
M1  - 13243
PB  - Tools and Algorithms for the Construction and Analysis of Systems, Munich, DE
PY  - 2022
TI  - Comparative Verification & Validation of Digital Mathematical Libraries and Computer Algebra Systems
ER  -