author = { LOPSTR 18 2008 Valencia Hanus, Michael },

title = { Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers },

publisher = {Springer},

isbn = {3642005144},

isbn = {9783642005145},

keywords = { Logic programming Congresses , Konferenzschrift 2008 Valencia , Logische Programmierung , Programmsynthese , Programmtransformation , Softwareentwicklung , Komponente Software , Testmustergenerierung , Constraint-logische Programmierung , Funktionale Programmierung },

year = {2009},

abstract = {Literaturangaben},

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

address = { Berlin },

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