Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/tacas/Greiner-PetterC22
%A Greiner-Petter, André
%A Cohl, Howard S.
%A Youssef, Abdou
%A Schubotz, Moritz
%A Trost, Avi
%A Dey, Rajen
%A Aizawa, Akiko
%A Gipp, Bela
%B TACAS (1)
%D 2022
%E Fisman, Dana
%E Rosu, Grigore
%I Springer
%K dblp
%P 87-105
%T Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.
%U http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#Greiner-PetterC22
%V 13243
%@ 978-3-030-99524-9
@inproceedings{conf/tacas/Greiner-PetterC22,
added-at = {2023-10-21T00:00:00.000+0200},
author = {Greiner-Petter, André and Cohl, Howard S. and Youssef, Abdou and Schubotz, Moritz and Trost, Avi and Dey, Rajen and Aizawa, Akiko and Gipp, Bela},
biburl = {https://www.bibsonomy.org/bibtex/26baea2ed0fb2148d2623d90d5165cbb1/dblp},
booktitle = {TACAS (1)},
crossref = {conf/tacas/2022-1},
editor = {Fisman, Dana and Rosu, Grigore},
ee = {https://www.wikidata.org/entity/Q122926706},
interhash = {0b13a5425f24d7f57cac64c695b542b8},
intrahash = {6baea2ed0fb2148d2623d90d5165cbb1},
isbn = {978-3-030-99524-9},
keywords = {dblp},
pages = {87-105},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T20:56:46.000+0200},
title = {Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.},
url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#Greiner-PetterC22},
volume = 13243,
year = 2022
}