Informática
Faculty
University of Texas at Dallas
Richardson, Estados UnidosPublications in collaboration with researchers from University of Texas at Dallas (1)
2014
-
Logic-based program synthesis and transformation 23rd international symposium, LOPSTR 2013 Madrid, Spain, september 18-19, 2013 revised selected papers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)