@proceedings {2173, title = {P systems based computing polynomials with integer coefficients: Design and formal verification}, journal = {Asian Conference on Membrane Computing (ACMC 2017)}, year = {2017}, month = {09/2017}, pages = {416-443}, author = {Gexiang Zhang and M. Zhu and Q. Yang and Haina Rong and Weitao Yuan and Mario J. P{\'e}rez-Jim{\'e}nez} }