Back to The JPF team
GSoC 2021

Improved Integration of String Solvers in SPF

Project details

Contributor

Marlin Roberts

Mentors

Loc, Corina Pasareanu, Yannic Noller

Technologies

Not listed in the archive