Enas El-Sharawy

• INTEGRATION of SMT-Solver and PATTERN In