APA Citation

King, A. (2017). Logic-Based Program Synthesis and Transformation. Springer.

Chicago Style Citation

King, Andy. Logic-Based Program Synthesis and Transformation. Springer, 2017.

MLA Citation

King, Andy. Logic-Based Program Synthesis and Transformation. Springer, 2017.

Warning: These citations may not always be 100% accurate.