Back to Checker Framework
GSoC 2017

Whole-Program Inference

Project details

Contributor

Felipe R. Monteiro

Mentors

Michael Ernst

Technologies

Not listed in the archive