@inproceedings{inproceedings08fa6842,
title   = {Coordinating exceptions of Java systems: implementation and formal verification},
author = {Hanazumi , Simone and Melo, Ana Cristina Vieira de},
year = {2012},
doi = {10.1109/QUATIC.2012.26},
publisher = {IEEE},
booktitle   = {International Conference on the Quality of Information and Communications Technology - QUATIC}
}