| Citation: | Egon Börger, "The ASM Refinement Method". Formal Aspects of Computing, 15:237-257, 2003. |
|---|---|
| Summary: | The use of refinements in ASMs is presented, with comparisons with other refinement approaches and examples from ASM applications. |
| Subjects: | Discussions |
| Download: | From Egon Börger's homepage in PDF. |
| Notes: |