%0
Generic
%T
ASM refinement preserving invariants
%A
Schellhorn, Gerhard
%D
2021-12-09
%X
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation