A Formal Approach to implement java exceptions in cooperative systems

Simone Hanazumi, Ana C. V. de Melo. A Formal Approach to implement java exceptions in cooperative systems. Journal of Systems and Software, 131:475-490, 2017. [doi]

Authors

Simone Hanazumi

This author has not been identified. Look up 'Simone Hanazumi' in Google

Ana C. V. de Melo

This author has not been identified. Look up 'Ana C. V. de Melo' in Google