(2018). Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). Tools and Algorithms for the Construction and Analysis of Systems, 10805, . https://doi.org/10.1007/978-3-319-89960-2_15
Chicago Style (17th ed.) Citation"Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)." Tools and Algorithms for the Construction and Analysis of Systems 10805 (2018). https://doi.org/10.1007/978-3-319-89960-2_15.
MLA (9th ed.) Citation"Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)." Tools and Algorithms for the Construction and Analysis of Systems, vol. 10805, 2018, https://doi.org/10.1007/978-3-319-89960-2_15.
Warning: These citations may not always be 100% accurate.