Michele Alberti - ECOOP 2026

Mon 29 June - Fri 3 July 2026 Brussels, Belgium

Registered user since Mon 15 Sep 2025

Name:Michele Alberti

Country:France

Affiliation:Université Paris-Saclay, CEA, List

Contributions

2026

DEBT

On-the-fly Abstract Debugging for Frama-C/Eva

Show activities from other conferences

ECOOP 2026-profile
View general profile