An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

Moshe Y. Vardi, Pierre Wolper

Browse the full LICS paper archive.