author = { Baber, Robert Laurence },

title = { Fehlerfreie Programmierung für den Software-Zauberlehrling },

publisher = {Oldenbourg},

isbn = {3486216376},

keywords = { Computer programs Verification , Programmverifikation , Programmierung , Bug Informatik , Programm , Korrektheit , Beweis },

year = {1990},

abstract = {Literaturverz. S. 157 - 158},

address = { München },

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