Ismail Kuru

PhD Student in Programming Languages and Systems Verification