Media type: E-Book Title: Verification of abstract state machines Contributor: Schellhorn, Gerhard [VerfasserIn] imprint: Augsburg: Universität Augsburg, 2021 Extent: 1 Online-Ressource Language: English Identifier: Origination: Footnote: In: Ulm : Fachbereich Informatik, Universität Ulm. 1999 Access State: Open Access