Coordinating Exceptions of Java Systems: Implementation and Formal Verification.

Simone Hanazumi, Ana Cristina Vieira de Melo

Browse the full QUATIC paper archive.