Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

MLA

Glück, Robert, and Bishoksan Kafle. Logic-based Program Synthesis and Transformation : 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.

APA

Glück, R., & Kafle, B. (2023). Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Cham: Springer International Publishing AG.

Chicago

Glück, Robert., and Bishoksan Kafle. Logic-Based Program Synthesis and Transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.