Vladimir Zakharov

Automata-theoretic approach to the equivalence checking problem for sequential programs
June 1st, 2012