Abstract: This paper proposes translation rules of Java-JML source code to Event-B. Java Modeling Language (JML), a specification language for Java, provides an ease to make a code-level specification ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results