Media type: E-Article Title: ASM refinement preserving invariants Contributor: Schellhorn, Gerhard [Author] imprint: Augsburg University Publication Server (OPUS), 2021-12-09 Language: English DOI: https://doi.org/10.3217/jucs-014-12-1929 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access