Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tina Masoudi
conf.researchr.org general profile
FSE 2025 profile
ISSTA 2025 profile
Not registered as user
Name:
Tina Masoudi
Affiliation:
PhD student
Contributions
2025
ISSTA
Author of Investigating the Role of Formal Verification in Software Development: From Automatic Specification Generation to Usability of Verification Languages within the Doctoral Symposium-track
ESEC/FSE
Author of Investigating the Role of Formal Verification in Software Development: From Automatic Specification Generation to Usability of Verification Languages within the Doctoral Symposium-track
Share
x
Sun 19 Apr 01:29