11th international workshop on formal techniques for java-like programs 2009 : (FTfJP 09) : held at ECOOP 2009 : Genova, Italy : 6 July 2009. : Jul 2009, Genova, Italy.
11th international workshop on formal techniques for java-like programs 2009 : (FTfJP 09) : held at ECOOP 2009 : Genova, Italy : 6 July 2009. : Jul 2009, Genova, Italy.