Automation of Java Card component development using the B method.

David Dharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira

Browse the full ICECCS paper archive.