Sign in
Verifying Functional Correctness Properties at the Level of Java Bytecode.
Marco Paganoni
Carlo A. Furia
Published in:
FM (2023)
Keyphrases
</>
efficient implementation
information systems
java bytecode