On The Computation Of Control Lyapunov Functions For Building Safe And Stabilizing Controllers