Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings

MLA

De Angelis, Emanuele, and Wim Vanhoof. Logic-based Program Synthesis and Transformation : 31st International Symposium, Lopstr 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

De Angelis, E., & Vanhoof, W. (2022). Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings. Cham: Springer International Publishing AG.

Chicago

De Angelis, Emanuele., and Wim Vanhoof. Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings. Cham: Springer International Publishing AG, 2022.