Local exact controllability to the trajectories of the Navier-Stokes system with nonlinear Navier-slip boundary conditionsSergio GuerreroESAIM: COCV, 12 3 (2006) 484-544DOI: https://doi.org/10.1051/cocv:2006006