Rodolfo Gamarra

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
Monotonicity Analysis Can Speed Up Verification. RelMiCS (2006)
Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
A strategy for efficient verification of relational specifications, based on monotonicity analysis. ASE (2005)