This year, JPF will have a workshop @ASE_conf. More info at github.com/javapathfinder…. The deadline is Friday, July 29.
0
4
1
0
0