On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches.

Chenglin Wang, Fangzhen Lin

Browse the full CAV paper archive.