LOPSTR Porto, Portugal, & Gabbrielli, M. (2020). Logic-based program synthesis and transformation: 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, revised selected papers. Springer. https://doi.org/10.1007/978-3-030-45260-5
Chicago-Zitierstil (17. Ausg.)LOPSTR Porto, Portugal, und Maurizio Gabbrielli. Logic-based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Cham, Switzerland: Springer, 2020. https://doi.org/10.1007/978-3-030-45260-5.
MLA-Zitierstil (9. Ausg.)LOPSTR Porto, Portugal, und Maurizio Gabbrielli. Logic-based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Springer, 2020. https://doi.org/10.1007/978-3-030-45260-5.