Refinement Laws for Verifying Library Subroutine Adaptation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Colin J. Fidge, Peter Robinson, Steve Dunne. Refinement Laws for Verifying Library Subroutine Adaptation. In 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia. pages 224-232, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Colin J. Fidge' in GoogleThis author has not been identified. Look up 'Peter Robinson' in GoogleThis author has not been identified. Look up 'Steve Dunne' in Google

runs on WebDSL