Palliyil, A. (2025, April 27). Improving Formal Methods Visualizations. Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online), 224-225. https://doi.org/10.1109/ICSE-Companion66252.2025.00070
Chicago-Zitierstil (17. Ausg.)Palliyil, Avinash. "Improving Formal Methods Visualizations." Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) 27 Apr. 2025: 224-225. https://doi.org/10.1109/ICSE-Companion66252.2025.00070.
MLA-Zitierstil (9. Ausg.)Palliyil, Avinash. "Improving Formal Methods Visualizations." Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online), 27 Apr. 2025, pp. 224-225, https://doi.org/10.1109/ICSE-Companion66252.2025.00070.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.