Improving the Process of System Specification and Refinement in B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kevin Lano, Howard P. Haughton. Improving the Process of System Specification and Refinement in B. In David Till, editor, 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, pages 45-68, Springer, 1994. [doi]

This author has not been identified. Look up 'Kevin Lano' in GoogleThis author has not been identified. Look up 'Howard P. Haughton' in Google

runs on WebDSL