![]() | ![]() |
2003 | ||
---|---|---|
3 | EE | Gustavo Villavicencio: Formal Program Reversing by Conditioned Slicing. CSMR 2003: 368-378 |
2001 | ||
2 | Gustavo Villavicencio: Program Analysis for the Automatic Detection of Programming Plans Applying Slicing. CSMR 2001: 188-191 | |
1 | EE | Gustavo Villavicencio, José Nuno Oliveira: Reverse Program Calculation Supported by Code Slicing. WCRE 2001: 35- |
1 | José Nuno Oliveira | [1] |