Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
2022 | conference paper
Jump to: Cite & Linked | Documents & Media | Details | Version history
Cite this publication
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
Greiner-Petter, A. ; Cohl, H. S.; Youssef, A.; Schubotz, M. ; Trost, A.; Dey, R. & Aizawa, A. et al. (2022)
In:Fisman, Dana; Rosu, Grigore (Eds.), Tools and Algorithms for the Construction and Analysis of Systems pp. 87-105. (Vol. 1). 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich.
Cham: Springer. DOI: https://doi.org/10.1007/978-3-030-99524-9_5
Documents & Media
Details
- Authors
- Greiner-Petter, André ; Cohl, Howard S.; Youssef, Abdou; Schubotz, Moritz ; Trost, Avi; Dey, Rajen; Aizawa, Akiko; Gipp, Bela
- Editors
- Fisman, Dana; Rosu, Grigore
- Issue Date
- 2022
- Publisher
- Springer
- Conference
- 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022
- ISBN
- 978-3-030-99523-2
978-3-030-99524-9 - Conference Place
- Munich
- Event start
- 2022-04-02
- Event end
- 2022-04-07
- ISSN
- 0302-9743; 1611-3349