APA引文

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

Chicago Style Citation

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

MLA引文

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

警告:這些引文格式不一定是100%准確.