Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S.

Michele Boreale

Browse the full SOFSEM paper archive.