%0 Conference Proceedings %B Asian Conference on Membrane Computing (ACMC 2017) %D 2017 %T P systems based computing polynomials with integer coefficients: Design and formal verification %A Gexiang Zhang %A M. Zhu %A Q. Yang %A Haina Rong %A Weitao Yuan %A Mario J. Pérez-Jiménez %P 416-443 %S Pre-proceedings of Asian Conference on Membrane Computing (ACMC 2017) %8 09/2017