Crossmark

Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)

Crossref DOI link: https://doi.org/10.1007/978-3-319-89960-2_15

Published Online: 2018-04-12

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Darulova, Eva https://orcid.org/0000-0002-6848-3163
Izycheva, Anastasiia

Nasir, Fariha

Ritter, Fabian

Becker, Heiko

Bastian, Robert
License Information

Text and Data Mining valid from 2018-01-01
More Information

Chapter History

First Online: 12 April 2018

Conference Information

Conference Acronym: TACAS

Conference Name: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference City: Thessaloniki

Conference Country: Greece

Conference Year: 2018

Conference Start Date: 14 April 2018

Conference End Date: 20 April 2018

Conference Number: 24

Conference ID: tacas2018

Conference URL: https://www.etaps.org/index.php/2018/tacas