author = { Pfeifer, Holger AND Dold, Axel AND Henke, Friedrich Wilhelm von AND Rueß, Harald },

title = { Mechanized semantics of simple imperative programming constructs },

publisher = {Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik},

keywords = { Computer programs Verification , Algorithmische Programmierung },

year = {2009},

booktitle = {Ulmer Informatik-Berichte ; 96,11},

address = { Ulm },

url = { http://slubdd.de/katalog?TN_libero_mab2 }