JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
Francisco José
Bueno Carrillo
Publications dans lesquelles il/elle collabore avec Francisco José Bueno Carrillo (2)
2006
-
Experiments in context-sensitive analysis of modular programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004
-
A generic framework for context-sensitive analysis of modular programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3049, pp. 233-260