KRX to Launch After-Hours Session for Derivatives on 9 June - Regulation Asia