Robust error bounds for the Navier–Stokes equations using implicit-explicit second-order BDF method with variable steps | Publicación