Modular static analysis of Object-oriented languages

Francesco Logozzo

Details

Publication typePhdThesis
InstitutionEcole Polyhtechnique
> Publications > Modular static analysis of Object-oriented languages