Lanzinger, F., Martin, C., Reiche, F., Teuber, S., Heinrich, R., & Weigl, A. (2024). Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
Citazione stile Chigago Style (17a edizione)Lanzinger, Florian, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, e Alexander Weigl. Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. 2024.
Citatione MLA (9a ed.)Lanzinger, Florian, et al. Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.