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