Back to Checker Framework
GSoC 2017

Erroneous use of Java 8's Optional class

Project details

Contributor

Nikhil Deepak Shinde

Mentors

Michael Ernst, Mark Roberts

Technologies

Not listed in the archive