daniil.ovchinnikov

Please  sign in  to see author's details

Checker Framework Support

The Checker Framework enhances Java type system to make it more powerful and useful.