author = { FOSSACS 6 2003 Warschau AND ETAPS 6 2003 Warschau Gordon, Andrew D. },

title = { Foundations of software science and computation structures 6th international conference ; proceedings },

publisher = {Springer},

isbn = {3540008977},

keywords = { Computer software Congresses , System analysis Congresses , Konferenzschrift 2003 Warschau , Theoretische Informatik , Programmierung , Software Engineering },

year = {2003},

abstract = {Includes bibliographical references},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 2620},

address = { Berlin },

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