@conference{1236031,
  author = {Howard Cohl and Abdou Youssef and Andre Greiner Petter and Moritz Schubotz and Bela Gipp and Akiko Aizawa and Avi Trost and Rajen Dey},
  title = {Comparative Verification & Validation of Digital Mathematical Libraries and Computer Algebra Systems},
  year = {2022},
  number = {13243},
  month = {2022-03-30 04:03:00},
  publisher = {Tools and Algorithms for the Construction and Analysis of Systems, Munich, DE},
  doi = {https://doi.org/10.1007/978-3-030-99524-9},
  language = {en},
}