• What Challenges Do Developers...

*Result*: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Title:
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
Authors:
Oliveira, Francisco, Mendes, Alexandra, Carreira, Carolina
Source:
2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE) ISSRE Software Reliability Engineering (ISSRE), 2025 IEEE 36th International Symposium on. :203-214 Oct, 2025
Relation:
2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE)
Database:
IEEE Xplore Digital Library