Back to The JPF team
GSoC 2016

Verifying Safety of NextGen Models

Project details

Contributor

Jianfeng.Chen

Mentors

Franco Raimondi, neharungta, Eric Mercer

Technologies

Not listed in the archive