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.
資料に関する注記
一般注記:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。