Back to The JPF team
GSoC 2016

PSYCO for Reactive Systems

Project details

Contributor

mmuesly

Mentors

Zvonimir, Falk Howar, Teme

Technologies

Not listed in the archive