2015 | Book
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Editors: Martin Leucker, Camilo Rueda, Frank D. Valencia
Publisher: Springer International Publishing
Book Series : Lecture Notes in Computer Science