APA (7th ed.) Citation

ICTAC Cali & Leucker, M. (2015). Theoretical aspects of computing - ICTAC 2015: 12th international colloquium, Cali, Colombia, October 29-31, 2015 : proceedings. Springer.

Chicago Style (17th ed.) Citation

ICTAC Cali and Martin Leucker. Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015 : Proceedings. Cham: Springer, 2015.

MLA (9th ed.) Citation

ICTAC Cali and Martin Leucker. Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015 : Proceedings. Springer, 2015.