Nadia Polikarpova

• Integrated Formal Methods
• Software Verification