Java Applet Correctness: A Developer-Oriented Approach.

Lilian Burdy, Antoine Requet, Jean-Louis Lanet

Browse the full FM paper archive.