Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings Bowles, Juliana Heftet / 2024 / Engelsk
From Data to Models and Back 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers Bowles, Juliana Heftet / 2022 / Engelsk
From Data to Models and Back 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers Bowles, Juliana Heftet / 2021 / Engelsk