(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
Citace podle Chicago (17th ed.)"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.
Citace podle MLA (9th ed.)"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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..