A Polynomial Template Abstract Domain based on Bernstein Polynomials

Publication
Numerical Software Verification
Pierre Roux
Pierre Roux
Researcher at Onera

Related