Publications en collaboration avec des chercheurs de Kyoto University (1)

2009

  1. 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)