Wir verwenden Cookies, um Ihnen ein optimales Webseiten-Erlebnis zu bieten. Dazu zählen Cookies, die für den Betrieb der Seite und für die Steuerung unserer kommerziellen Unternehmensziele notwendig sind, sowie solche, die lediglich zu anonymen Statistikzwecken, für Komforteinstellungen oder zur Anzeige personalisierter Inhalte genutzt werden. Sie können selbst entscheiden, welche Kategorien Sie zulassen möchten. Bitte beachten Sie, dass auf Basis Ihrer Einstellungen womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.
Science of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014
. Science of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014. Science of Computer Programming, volume 131, pages 1-150, 12, 2016.