TY - GEN

AU - Schellhorn, Gerhard

TI - ASM refinement preserving invariants

PY - 2021-12-09

N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -