Lilian Burdy, Antoine Requet, Jean-Louis Lanet
Java Applet Correctness: A Developer-Oriented Approach
FM, 2003.
@inproceedings{FME-2003-BurdyRL, author = "Lilian Burdy and Antoine Requet and Jean-Louis Lanet", booktitle = "{Proceedings of the 12th International Symposium of Formal Methods Europe}", doi = "10.1007/978-3-540-45236-2_24", isbn = "3-540-40828-2", pages = "422--439", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Java Applet Correctness: A Developer-Oriented Approach}", volume = 2805, year = 2003, }