HILL, Patricia M., 2006. Logic based program synthesis and transformation : 15 th international symposium ; revised selected papers. [cd]. 2006. Berlin: Springer. Lecture notes in computer science, 3901.
Elsevier - Harvard (with titles)Hill, P.M., 2006. Logic based program synthesis and transformation : 15 th international symposium ; revised selected papers. Lecture notes in computer science, Lecture notes in computer science. https://doi.org/10.1007/11680093
American Psychological Association 7th editionHill, P. M. (ca. 2006). Logic based program synthesis and transformation : 15 th international symposium ; revised selected papers [Cd]. In Lecture notes in computer science. Springer. https://doi.org/10.1007/11680093
Springer - Basic (author-date)Hill PM (2006) Logic based program synthesis and transformation : 15 th international symposium ; revised selected papers. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Hill, Patricia M., Logic based program synthesis and transformation : 15 th international symposium ; revised selected papers, Lecture notes in computer science 2006, .