Sistemas Informáticos y Computación
Departamento
![Foto de Sistemas Informáticos y Computación](/img/uploaded/01B2D1DC2D007800FCEB4F504E14AEBE.png)
![Foto de Kyoto University](/img/noimage_org.png)
Kyoto University
Kioto, JapónPublicaciones en colaboración con investigadores/as de Kyoto University (1)
2009
-
Formal techniques for Java-like programs: Report on the 10th workshop FTfJP at ECOOP 2008
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)