Zeros of dedekind zeta functions under GRH

Assuming GRH, we prove an explicit upper bound for the number of zeros of a Dedekind zeta function having imaginary part in [T - a, T + a]. We also prove a bound for the multiplicity of the zeros.