@article {2190, title = {P systems based computing polynomials with integer coefficients: Design and formal verification}, journal = {IEEE Transactions on NanoBioscience}, year = {2018}, url = {https://ieeexplore.ieee.org/document/8360137/}, author = {Ming Zhu and Gexiang Zhang and Qiang Yang and Haina Rong and Weitao Yuan and Mario J. P{\'e}rez-Jim{\'e}nez} }