Sritharan, S.S.2007-08-162007-08-161991-08https://hdl.handle.net/11299/1684On the nonsmooth verification technique for the dynamic programming of viscous flow