APA (7th ed.) Citation

Manzhos, Y., & Sokolova, Y. (2024). A type system for formal verification of cyber-physical systems C/C++ software. Radìoelektronnì ì komp'ûternì sistemi (Online), 2024(1), 127-142. https://doi.org/10.32620/reks.2024.1.11

Chicago Style (17th ed.) Citation

Manzhos, Yuriy, and Yevheniia Sokolova. "A Type System for Formal Verification of Cyber-physical Systems C/C++ Software." Radìoelektronnì ì Komp'ûternì Sistemi (Online) 2024, no. 1 (2024): 127-142. https://doi.org/10.32620/reks.2024.1.11.

MLA (9th ed.) Citation

Manzhos, Yuriy, and Yevheniia Sokolova. "A Type System for Formal Verification of Cyber-physical Systems C/C++ Software." Radìoelektronnì ì Komp'ûternì Sistemi (Online), vol. 2024, no. 1, 2024, pp. 127-142, https://doi.org/10.32620/reks.2024.1.11.