Abstract: Despite some efforts to provide support to JML (Java Modelling Language) for Java 1.5 and 1.6, no full implementation for checking Java's new features has been carried out. In particular, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results