 | 2009 |
|---|
| 4 |       | Simone André da Costa,
Leila Ribeiro:
Formal Verification of Graph Grammars using Mathematical Induction.
Electr. Notes Theor. Comput. Sci. 240: 43-60 (2009) |
| 2003 |
|---|
| 3 | | Cláudio Naoto Fuzitaki,
Paulo Blauth Menezes,
Júlio Henrique Araújo Pereira Machado,
Simone André da Costa:
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.
EUROCAST 2003: 243-252 |
| 2002 |
|---|
| 2 |  | Fernando D'Andrea,
Paulo Blauth Menezes,
Cláudio Naoto Fuzitaki,
Júlio Henrique Araújo Pereira Machado,
Simone André da Costa:
Nautilus, a Diagrammatic Specification and Programming Language.
IASTED PDCS 2002: 381-386 |
| 2001 |
|---|
| 1 | | Júlio Henrique Araújo Pereira Machado,
Márcia R. Notare,
Simone André da Costa,
Tiarajú Asmuz Diverio,
Paulo Blauth Menezes:
Hyper-Automation System Applied to Geometry Demonstration Environment.
EUROCAST 2001: 457-468 |
