Verification of Programs with Exceptions Through Operator Precedence Automata.

Francesco Pontiggia, Michele Chiari, Matteo Pradella

Browse the full SEFM paper archive.