Chang-Jing Wang

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Chang-Jing Wang, Jin-Yun Xue
Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems. SNPD (2009)