David Bühler - ECOOP 2026

Mon 29 June - Fri 3 July 2026 Brussels, Belgium

Not registered as user

Name:David Bühler

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