Declaring and Checking Non-null Types in an Object-Oriented Language (2003)

by Manuel Fähndrich , K. Rustan M. Leino
Citations:114 - 5 self