Wuhan University Journal of Natural Sciences

Nonlinear Program Construction and Verification Method Based on Partition Recursion and Morgan's Refinement Rules

Changjing WANG, Zhongxiong CAO, Chuling YU, Changchang WANG, Qing HUANG and Zhengkang ZUO

Wuhan Univ. J. Nat. Sci., 28 3 (2023) 246-256

Published online: 13 July 2023

DOI: 10.1051/wujns/2023283246

Changjing WANG

Zhongxiong CAO

Chuling YU

Changchang WANG

Qing HUANG

Zhengkang ZUO

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)