Not registered as user yet

Name:Solène Mirliaz
Country:France
Affiliation:ENS Rennes / IRISA / Inria

Contributions

VMCAI 2022 Author of A Flow-Insensitive-Complete Program Representation within the VMCAI 2022-track