APA (7th ed.) Citation

Bodik, R., & Jobstmann, B. (2013). Algorithmic program synthesis: Introduction. International journal on software tools for technology transfer, 15(5-6), 397-411. https://doi.org/10.1007/s10009-013-0287-9

Chicago Style (17th ed.) Citation

Bodik, Rastislav, and Barbara Jobstmann. "Algorithmic Program Synthesis: Introduction." International Journal on Software Tools for Technology Transfer 15, no. 5-6 (2013): 397-411. https://doi.org/10.1007/s10009-013-0287-9.

MLA (9th ed.) Citation

Bodik, Rastislav, and Barbara Jobstmann. "Algorithmic Program Synthesis: Introduction." International Journal on Software Tools for Technology Transfer, vol. 15, no. 5-6, 2013, pp. 397-411, https://doi.org/10.1007/s10009-013-0287-9.