Filtering Retrenchments into Refinements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard Banach, John Derrick. Filtering Retrenchments into Refinements. In Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India. pages 60-69, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Richard Banach' in GoogleThis author has not been identified. Look up 'John Derrick' in Google

runs on WebDSL