Back to The JPF team
GSoC 2019

Checking Assertions with Symbolic Pathfinder

Project details

Contributor

Junye Wen

Mentors

corinus, Yannic Noller, Guowei Yang

Technologies

Not listed in the archive