d3scomp/JDEECo

Complete the JPF-jDEECo integration

Opened this issue · 0 comments

mkit commented

There is some work on JPF integration for jDEECo. It was started by Jarda and needs to be completed.