Program Verification by Reduction to Semi-algebraic Systems Solving.

Bican Xia, Lu Yang, Naijun Zhan

Browse the full ISoLA paper archive.