SpringerLink (Online service), Bowles, J., & Søndergaard, H. (2024). Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings (1st ed. 2024.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-71294-4
Citazione stile Chigago Style (17a edizione)SpringerLink (Online service), Juliana Bowles, e Harald Søndergaard. Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings. 1st ed. 2024. Cham: Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-71294-4.
Citatione MLA (9a ed.)SpringerLink (Online service), et al. Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings. 1st ed. 2024. Springer Nature Switzerland : Imprint: Springer, 2024. https://doi.org/10.1007/978-3-031-71294-4.