| 2008 |
|---|
| 5 | EE | Daniel Calegari,
María Victoria Cengarle,
Nora Szasz:
UML 2.0 Interactions with OCL/RT Constraints.
FDL 2008: 167-172 |
| 4 | EE | Nora Szasz,
Pedro Vilanova:
Statecharts and Variabilities.
VaMoS 2008: 131-140 |
| 2003 |
|---|
| 3 | EE | Maribel Fernández,
Ian Mackie,
Paula Severi,
Nora Szasz:
Reduction Strategies for Program Extraction.
CLEI Electron. J. 6(1): (2003) |
| 2001 |
|---|
| 2 | | Paula Severi,
Nora Szasz:
Studies of a Theory of Specifications with Built-in Program Extraction.
J. Autom. Reasoning 27(1): 61-87 (2001) |
| 1999 |
|---|
| 1 | EE | Gustavo Betarte,
Cristina Cornes,
Nora Szasz,
Alvaro Tasistro:
Specification of a Smart Card Operating System.
TYPES 1999: 77-93 |
