APA Style
Villanueva, Alicia. (2022).
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings (1).
Switzerland:
Springer Cham.
Chicago Style
Villanueva, Alicia.
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Villanueva, Alicia.
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Villanueva, Alicia.
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.