Corresponding author: Gerhard Schellhorn ( schellhorn@informatik.uni-augsburg.de ) Citation:
Schellhorn G (2008) ASM Refinement Preserving Invariants. JUCS - Journal of Universal Computer Science 14(12): 1929-1948. https://doi.org/10.3217/jucs-014-12-1929 |