Semi-discrete stabilized finite element methods for Navier-Stokes equations with nonlinear slip boundary conditions based on regularization procedure.