Nonlinear Program Construction and Verification Method Based on Partition Recursion and Morgan's Refinement Rules
Wuhan University journal of natural sciences/Wuhan University Journal of Natural Sciences