Towards a Methodology for Verifying Partial Model Refinements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rick Salay, Marsha Chechik, Jan Gorzny. Towards a Methodology for Verifying Partial Model Refinements. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 938-945, IEEE, 2012. [doi]

This author has not been identified. Look up 'Rick Salay' in GoogleThis author has not been identified. Look up 'Marsha Chechik' in GoogleThis author has not been identified. Look up 'Jan Gorzny' in Google

runs on WebDSL