> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: ASM refinement preserving invariants Beteiligte: Schellhorn, Gerhard [VerfasserIn] Erschienen: Augsburg University Publication Server (OPUS), 2021-12-09 Sprache: Englisch DOI: https://doi.org/10.3217/jucs-014-12-1929 Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang