Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - Leucker, Martin; Rueda, Camilo; Valencia, Frank D (Cham : Springer International Publishing, 2015)
Keywords: Computer science; Software engineering; Programming languages (Electronic computers).; Computer logic; Mathematical logic; Computer science -- Mathematics