APA (7th ed.) Citation

Oliveira, F., Mendes, A., & Carreira, C. (2025). What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Chicago Style (17th ed.) Citation

Oliveira, Francisco, Alexandra Mendes, and Carolina Carreira. What Challenges Do Developers Face When Using Verification-Aware Programming Languages? 2025.

MLA (9th ed.) Citation

Oliveira, Francisco, et al. What Challenges Do Developers Face When Using Verification-Aware Programming Languages? 2025.