Widening Arithmetic Automata.

Constantinos Bartzis, Tevfik Bultan

Browse the full CAV paper archive.