Chernenko, I. M., & Anureev, I. S. (2024). Temporal Requirement Patterns in Deductive Verification of Process-Oriented Programs. 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2024 IEEE International, 451. https://doi.org/10.1109/SIBIRCON63777.2024.10758473
Παραπομπή σε μορφή Chicago (17η εκδ.)Chernenko, Ivan M., και Igor S. Anureev. "Temporal Requirement Patterns in Deductive Verification of Process-Oriented Programs." 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2024 IEEE International 2024: 451. https://doi.org/10.1109/SIBIRCON63777.2024.10758473.
Παραπομπή σε μορφή MLA (9th εκδ.)Chernenko, Ivan M., και Igor S. Anureev. "Temporal Requirement Patterns in Deductive Verification of Process-Oriented Programs." 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2024 IEEE International, 2024, p. 451, https://doi.org/10.1109/SIBIRCON63777.2024.10758473.