Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Leucker, Martin ; Rueda, Camilo ; Valencia, Frank D Rueda, Camilo ; Leucker, Martin ; Valencia, Frank D ; Rueda, Camilo ; Valencia, Frank D. ; Leucker, Martin
Cham: Springer Nature 2015
Texto completo disponível