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

by L Burdy, A Requet, J-L Lanet
Venue:Proc. Formal Methods Europe