Back to The JPF team
GSoC 2019

Parallel implementation of Java Pathfinder Project

Project details

Contributor

Manish Thakur

Mentors

Alexander Kohan, Cyrille Artho

Technologies

Not listed in the archive