Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
A strategy for efficient verification of relational specifications, based on monotonicity analysis
ASE, 2005.
@inproceedings{ASE-2005-FriasGSB,
author = "Marcelo F. Frias and Rodolfo Gamarra and Gabriela Steren and Lorena Bourg",
booktitle = "{Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/1101908.1101956",
pages = "305--308",
publisher = "{ACM}",
title = "{A strategy for efficient verification of relational specifications, based on monotonicity analysis}",
year = 2005,
}