A Polynomial Template Abstract Domain based on Bernstein Polynomials

Publication
Numerical Software Verification
Avatar
Pierre Roux
Researcher at Onera

Related