Mechanized semantics of simple imperative programming constructs

Pfeifer, Holger; Dold, Axel; Henke, Friedrich Wilhelm von; Rueß, Harald

Zitiere als: Pfeifer, Holger et al. (2009): Mechanized semantics of simple imperative programming constructs. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-1714

Weitere Zitierstile

Autor(en)

Pfeifer, Holger

Dold, Axel

Henke, Friedrich Wilhelm von

Rueß, Harald

Fakultät

Fakultät für Ingenieurwissenschaften und Informatik

Ressourcen- / Medientyp

Wissenschaftlicher Beitrag, Text

Datum der Freischaltung

2009-11-30

Zusammenfassung

N/A

Lizenz

Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2

LCSH

Computer programs. Verification

GND

Algorithmische Programmierung

Freie Schlagwörter

Verifix

DDC-Sachgruppe

DDC 004 / Data processing & computer science