JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
Monash University
Melbourne, AustraliaPublicaciones en colaboración con investigadores/as de Monash University (1)
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