APA (7th ed.) Citation
Glück, R., & Kafle, B. (2023). Logic-Based Program Synthesis and Transformation. Springer Nature.
Chicago Style (17th ed.) Citation
Glück, Robert, and Bishoksan Kafle. Logic-Based Program Synthesis and Transformation. Springer Nature, 2023.
MLA (9th ed.) Citation
Glück, Robert, and Bishoksan Kafle. Logic-Based Program Synthesis and Transformation. Springer Nature, 2023.
Warning: These citations may not always be 100% accurate.