ETALLE, Sandro, 2005. Logic based program synthesis and transformation : 14 th international symposium ; revised selected papers. [cd]. 2005. Berlin: Springer. Lecture notes in computer science, 3573.
Elsevier - Harvard (with titles)Etalle, S., 2005. Logic based program synthesis and transformation : 14 th international symposium ; revised selected papers. Lecture notes in computer science, Lecture notes in computer science. https://doi.org/10.1007/b137785
American Psychological Association 7th editionEtalle, S. (ca. 2005). Logic based program synthesis and transformation : 14 th international symposium ; revised selected papers [Cd]. In Lecture notes in computer science. Springer. https://doi.org/10.1007/b137785
Springer - Basic (author-date)Etalle S (2005) Logic based program synthesis and transformation : 14 th international symposium ; revised selected papers. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Etalle, Sandro, Logic based program synthesis and transformation : 14 th international symposium ; revised selected papers, Lecture notes in computer science 2005, .