Java applet correctness: A developer-oriented approach (2003)

by L Burdy, A Requet, J-L Lanet
Venue:FME, volume 2805 of LNCS