Travelled to:
1 × Hungary
Collaborated with:
C.Male D.J.Pearce A.Potanin
Talks about:
bytecod (1) verif (1) type (1) null (1) java (1) non (1)
Person: Constantine Dymnikov
DBLP: Dymnikov:Constantine
Contributed to:
Wrote 1 papers:
- CC-2008-MalePPD #bytecode #java #verification
- Java Bytecode Verification for @NonNull Types (CM, DJP, AP, CD), pp. 229–244.