Martina Olliaro

• Challenges of Software Verification