Java Bytecode Verification for @NonNull Types. - Chris Male; David J. Pearce 001; Alex Potanin; Constantine Dymnikov (CC, 2008)

Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. - Chris Male; David J. Pearce 001; Alex Potanin; Constantine Dymnikov (Sci. Comput. Program., 2011)