Maria Christakis

• Software Verification