Towards a formal model to reason about context-aware exception handling.

Lincoln S. Rocha, Rossana M. C. Andrade

Browse the full ICSE paper archive.