A strategy for efficient verification of relational specifications, based on monotonicity analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg. A strategy for efficient verification of relational specifications, based on monotonicity analysis. In David F. Redmiles, Thomas Ellman, Andrea Zisman, editors, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA. pages 305-308, ACM, 2005. [doi]

This author has not been identified. Look up 'Marcelo F. Frias' in GoogleThis author has not been identified. Look up 'Rodolfo Gamarra' in GoogleThis author has not been identified. Look up 'Gabriela Steren' in GoogleThis author has not been identified. Look up 'Lorena Bourg' in Google

runs on WebDSL