Login / Signup
Chris Male
Publication Activity (10 Years)
Years Active: 2008-2011
Publications (10 Years): 0
</>
Publications
</>
Chris Male
,
David J. Pearce
,
Alex Potanin
,
Constantine Dymnikov
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.
Sci. Comput. Program.
76 (7) (2011)
Chris Male
,
David J. Pearce
,
Alex Potanin
,
Constantine Dymnikov
Java Bytecode Verification for @NonNull Types.
CC
(2008)