Maven Repository : net.sf.jpf : jpf-boot

jpf-boot 1.5

net.sf.jpf jpf-boot 1.5