APA Citation

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

Chicago Style Citation

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

MLA Citation

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

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