Formal Techniques for Java-like Programs (FTfJP'15)

Information regarding  the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP) which will be collocated with ECOOP 2015, Mon 6 - Fri 10 July 2015 in Prague, Czech Republic can be found at http://conf.researchr.org/track/FTfJP-2015/FTfJP-2015-papers.

Last Modified: Wed, 29/07/2015 - 10:11