![]() | ![]() |
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] |