[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Egon Börger, "The ASM Refinement Method". Formal Aspects of Computing, vol. 15, 2003, 237-257. |
---|---|
Summary: | An overview of the use of refinements in ASMs. |
Subjects: | Refinement |
Download: | From Egon Börger's homepage in PDF. |
Notes: |