Proceedings for FTfJP 2012 : the 14th Workshop on Formal Techniques for Java-like Programs : co-located with ECOOP 2012 and PLDI 2012 : papers presented at the workshop : Beijing, China, June 12, 2012
ID: 2224909

Creatori: