// System.out.println("Soma decimal:" + calc.somar(5.5, 10.9)); // //Métodos subtração // System.out.println("Subtra inteiro: " + calc.subtracao(25, 5)); // System ...
Abstract: The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language spi calculus.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback