Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

MLA

Villanueva, Alicia. Logic-based Program Synthesis and Transformation : 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Villanueva, A. (2022). Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Villanueva, Alicia. Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.