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

by L. Burdy , A. Requet , J. -l. Lanet , La Vigie
Venue:In Proc. Formal Methods Europe
Citations:53 - 4 self