Statistics
Publications
1
Citations
29
H-Index
1
Active since
2020
Affiliations
Imperial College London(Current)
Sacha-Élie Ayoun is an author at Imperial College London specializing in verification, formal verification, and program analysis.
Publications per year
2020–2020
1
1
Gillian, part i: a multi-language platform for symbolic execution
José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun et al. · 2020 · 29 citations · Full text
1–1 of 1