Bogli, R., Rohani, A., Studer, T., Tsigkanos, C., & Kehrer, T. (2025). Temporal Logics Meet Real-World Software Requirements: A Reality Check. 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), Formal Methods in Software Engineering (FormaliSE), 2025 IEEE/ACM 13th International Conference on, FORMALISE, 74. https://doi.org/10.1109/FormaliSE66629.2025.00014
Παραπομπή σε μορφή Chicago (17η εκδ.)Bogli, Roman, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, και Timo Kehrer. "Temporal Logics Meet Real-World Software Requirements: A Reality Check." 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), Formal Methods in Software Engineering (FormaliSE), 2025 IEEE/ACM 13th International Conference on, FORMALISE 2025: 74. https://doi.org/10.1109/FormaliSE66629.2025.00014.
Παραπομπή σε μορφή MLA (9th εκδ.)Bogli, Roman, et al. "Temporal Logics Meet Real-World Software Requirements: A Reality Check." 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), Formal Methods in Software Engineering (FormaliSE), 2025 IEEE/ACM 13th International Conference on, FORMALISE, 2025, p. 74, https://doi.org/10.1109/FormaliSE66629.2025.00014.