Yuan, Jun: Constraint-Based Verification | DealShopping Deutschland