Not registered as user yet

Name:Hugo Illous
Country:France
Affiliation:CEA & INRIA / ENS Paris

Contributions

SAS 2020 Author of Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries within the SAS-track