Skip to content

Reasoning about Substitutability at the Level of JVM Bytecode.

Marco Paganoni, Carlo A. Furia

VenueBFASE
Year2025
ProceedingsFASE

Browse the full FASE paper archive.