P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification | Publicación