APA Style
Angelis, Emanuele De, Vanhoof, Wim. (2022).
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings (1).
Switzerland:
Springer Cham.
Chicago Style
Angelis, Emanuele De, Vanhoof, Wim.
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Angelis, Emanuele De, Vanhoof, Wim.
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Angelis, Emanuele De, Vanhoof, Wim.
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.