1.
|
Project line: formally specifying the domain of balanced scorecard Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Dasso, Aristides - Funes, Ana
|
2.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|
3.
|
Model checking RAISE applicative specifications Perna, Juan I. - George, Chris W.
|