Specification and Runtime Verification of Java Card Programs
| Autor: | da Costa, Umberto Souza, Moreira, Anamaria Martins, Musicante, Martin A., Neto, Plácido A. Souza |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 2 July 2009 240:61-78 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect