Handling contract violations in Java card using explict exception channels.

Juliana Araujo, Rafael Souza, Nlio Cacho, Anamaria Martins Moreira, Plcido A. Souza Neto

Browse the full ICSE paper archive.