Search filters

List of works by Roberto Giacobazzi

A Correctness and Incorrectness Program Logic

scientific article published on 06 February 2023

Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation

scientific article published on 24 February 2024

Monotonicity and the Precision of Program Analysis

scientific article published on 05 January 2024

Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis

scientific article published on 12 January 2022

Paulina is supported by:

About Paulina

Help