Complutense Group on Program Analyis and Transformation
COSTA
Swiss Federal Institute of Technology in Zurich
Zúrich, SuizaPublikationen in Zusammenarbeit mit Forschern von Swiss Federal Institute of Technology in Zurich (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)