Travelled to:
1 × USA
Collaborated with:
N.Yoshida
Talks about:
formalis (1) explicit (1) mobil (1) java (1) code (1) rmi (1)
Person: Alexander Ahern
DBLP: Ahern:Alexander
Contributed to:
Wrote 1 papers:
- OOPSLA-2005-AhernY #formal method #java
- Formalising Java RMI with explicit code mobility (AA, NY), pp. 403–422.