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
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.