APA (7th ed.) Citation
Bowles, J., & Søndergaard, H. (2024). Logic-Based Program Synthesis and Transformation. Springer Nature.
Chicago Style (17th ed.) Citation
Bowles, Juliana, and Harald Søndergaard. Logic-Based Program Synthesis and Transformation. Springer Nature, 2024.
MLA (9th ed.) Citation
Bowles, Juliana, and Harald Søndergaard. Logic-Based Program Synthesis and Transformation. Springer Nature, 2024.
Warning: These citations may not always be 100% accurate.