Juliana Araujo, Rafael Souza, Nélio Cacho, Anamaria Martins Moreira, Plácido A. Souza Neto. Handling contract violations in Java card using explict exception channels. In Proceedings of the 5th International Workshop on Exception Handling, WEH 2012, Zurich, Switzerland, June 9, 2012. pages 34-40, IEEE, 2012. [doi]
Abstract is missing.