APA (7th ed.) Citation

SpringerLink (Online service), Leucker, M., Rueda, C., & Valencia, F. D. (2015). Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (1st ed. 2015.). Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Martin Leucker, Camilo Rueda, and Frank D. Valencia. Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. 1st ed. 2015. Cham: Springer International Publishing : Imprint: Springer, 2015.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. 1st ed. 2015. Springer International Publishing : Imprint: Springer, 2015.