Travelled to:1 × Italy
Collaborated with:R.Barbuti C.Bernardeschi N.D.Francesco
Talks about:suitabl (1) bytecod (1) verifi (1) domain (1) type (1) java (1) fix (1)
Person: Luca Tesei
 DBLP: Tesei:Luca
 DBLP: Tesei:Luca
Contributed to:
Wrote 1 papers:
- SEKE-2002-BarbutiTBF #bytecode #java #verification
- Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.












