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

Francisco Oliveira, Alexandra Mendes, Carolina Carreira

Browse the full ISSRE paper archive.