TY - GEN
AU - Pfeifer, Holger
AU - Dold, Axel
AU - Henke, Friedrich Wilhelm von
AU - Rueß, Harald
TI - Mechanized semantics of simple imperative programming constructs
PB - Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik
KW - Computer programs Verification
KW - Algorithmische Programmierung
PY - 2009
BT - Ulmer Informatik-Berichte ; 96,11
CY - Ulm
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation