Specification-based testing for refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff. Specification-based testing for refinement. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. pages 237-246, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Temesghen Kahsai' in GoogleThis author has not been identified. Look up 'Markus Roggenbach' in GoogleThis author has not been identified. Look up 'Bernd-Holger Schlingloff' in Google

runs on WebDSL