A Window Inference Tool for Refinement - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jim Grundy. A Window Inference Tool for Refinement. In Cliff B. Jones, Roger C. Shaw, B. Tim Denvir, editors, 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, pages 230-254, Springer London, 1992. [doi]

Abstract is missing.

runs on WebDSL