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

by L Burdy, A Requet, J-L Lanet
Venue:Mandrioli (Eds.), FME 2003: Formal Methods: International Symposium of Formal Methods Europe, in: LNCS