| |
| 2006 | ||
|---|---|---|
| 2 | EE | Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg: Monotonicity Analysis Can Speed Up Verification. RelMiCS 2006: 177-191 |
| 2005 | ||
| 1 | EE | Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg: A strategy for efficient verification of relational specifications, based on monotonicity analysis. ASE 2005: 305-308 |
| 1 | Marcelo F. Frias | [1] [2] |
| 2 | Rodolfo Gamarra | [1] [2] |
| 3 | Gabriela Steren | [1] [2] |