@article{article2a841339,
title   = {A formal approach to implement java exceptions in cooperative systems},
author = {Hanazumi, Simone and Melo, Ana Cristina Vieira de},
year = {2017},
doi = {10.1016/j.jss.2016.07.033},
journal   = {Journal of Systems and Software}
}