Corresponding author: Gerhard Schellhorn ( schellhorn@informatik.uni-augsburg.de ) Citation:
Schellhorn G (2001) Verification of ASM Refinements Using Generalized Forward Simulation. JUCS - Journal of Universal Computer Science 7(11): 952-979. https://doi.org/10.3217/jucs-007-11-0952 |