Java Applet Correctness: a Developer-Oriented Approach (2003)

by L Burdy, A Requet, J-L Lanet
Venue:Proceedings of FME'03, number 2805 in LNCS