%0
Generic
%T
Verification of abstract state machines
%A
Schellhorn, Gerhard
%D
2021-03-11
%X
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation