Media type: E-Book Title: Verification of abstract state machines Contributor: Schellhorn, Gerhard [Author] imprint: Augsburg University Publication Server (OPUS), 2021-03-11 Language: English Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access