Art

J-GLOBAL ID：200902276012393641   Reference number：09A0755358

Formal Techniques for Java-Like Programs Report on the 10th Workshop FTfJP at ECOOP 2008

Java類似プログラムに対する正式技術:ECOOP2008における第10回ワークショップFTfJPにおける報告

Author (8)： ALBERT Elvira (Complutense Univ. Madrid, ESP) ,  BANERJEE Anindya (Kansas State Univ., USA) ,  DROSSOPOULOU Sophia (Imperial Coll. London, GBR) ,  HUISMAN Marieke (Univ. Twente, NLD) ,  IGARASHI Atsushi (Kyoto Univ., JPN) ,  LEAVENS Gary T. (Univ. Central Florida, USA) ,  MUELLER Peter (ETH Zurich, CHE) ,  WRIGSTAD Tobias (Purdue Univ., USA)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 5475  Page： 70-76  Publication year： 2009 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (4)： Java ,  類似 ,  ワークショップ ,  報告