Automata and Program Analysis.

Thomas Colcombet, Laure Daviaud, Florian Zuleger

Browse the full FCT paper archive.