| |
| 2006 | ||
|---|---|---|
| 3 | EE | Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna: A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust 2006: 220-234 |
| 2000 | ||
| 2 | Gustavo Betarte: Type checking dependent (record) types and subtyping. J. Funct. Program. 10(2): 137-166 (2000) | |
| 1999 | ||
| 1 | EE | Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro: Specification of a Smart Card Operating System. TYPES 1999: 77-93 |
| 1 | Santiago Zanella Béguelin | [3] |
| 2 | Cristina Cornes | [1] |
| 3 | Carlos Luna | [3] |
| 4 | Nora Szasz | [1] |
| 5 | Alvaro Tasistro | [1] |