Result: Formal Methods in Requirements Engineering: Survey and Future Directions

Title:
Formal Methods in Requirements Engineering: Survey and Future Directions
Authors:
Lorch, Robert, Meng, Baoluo, Siu, Kit, Moitra, Abha, Durling, Michael, Paul, Saswata, Varanasi, Sarat Chandra, McMillan, Craig
Source:
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :88-99 Apr, 2024
Relation:
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
Database:
IEEE Xplore Digital Library