Search filters

List of works by Enea Zaffanella

Stability: An Abstract Domain for the Trend of Variation of Numerical Variables

scientific article published on 17 October 2024

Towards a High Level Linter for Data Science

scientific article published on 17 October 2024

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs

scientific article published on 13 September 2024

Paulina is supported by:

About Paulina

Help