APA-Zitierstil (7. Ausg.)

(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-Zitierstil (17. Ausg.)

"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-Zitierstil (9. Ausg.)

"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.