Lorena Bourg

	2006
2		Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg: Monotonicity Analysis Can Speed Up Verification. RelMiCS 2006: 177-191
	2005
1		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

Coauthor Index

1	Marcelo F. Frias	[1] [2]
2	Rodolfo Gamarra	[1] [2]
3	Gabriela Steren	[1] [2]