12th Workshop on Formal Techniques for Java-like Programs

12th Workshop on Formal Techniques for Java-like Programs. 2010.

Conference: FTfJP2010

@proceedings{ftfjp:2010,
  title = {12th Workshop on  Formal Techniques for Java-like Programs},
  year = {2010},
  tags = {Java},
  researchr = {https://researchr.org/publication/ftfjp%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {12th Workshop on  Formal Techniques for Java-like Programs},
  conference = {FTfJP},
}