Verification of coordinated exception handling.

Fernando Castor Filho, Alexander B. Romanovsky, Ceclia M. F. Rubira

Browse the full SAC paper archive.