TY  - CONF
AU  - Howard Cohl
AU  - Abdou Youssef
AU  - Andre Greiner Petter
AU  - Moritz Schubotz
AU  - Bela Gipp
AU  - Akiko Aizawa
AU  - Avi Trost
AU  - Rajen Dey
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  -