Conference
Temporal Logics Meet Real-World Software Requirements: A Reality Check
| Title: | Temporal Logics Meet Real-World Software Requirements: A Reality Check |
|---|---|
| Authors: | Bogli, Roman, Rohani, Atefeh, Studer, Thomas, Tsigkanos, Christos, Kehrer, Timo |
| Source: | 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2025 IEEE/ACM 13th International Conference on. :74-85 Apr, 2025 |
| Relation: | 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798331537944 9798331501761 |
|---|---|
| ISSN: | 25755099 2380873X |
| DOI: | 10.1109/FormaliSE66629.2025.00014 |