dblp.uni-trier.dewww.uni-trier.de

Lorena Bourg

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)