Statistics
Publications
4
Citations
93
H-Index
4
Active since
2010
Affiliations
Alain Mebsout is an author at Université Paris-Sud specializing in deductive verification, computing, and computer science.
Publications per year
2010–2016
4
4
Invariants for finite instances and beyond
Sylvain Conchon, Amit Kumar Goel, Sava Krstić et al. · 2013 · 36 citations · Full text
Software - The Alt-Ergo theorem prover
Sylvain Conchon, Évelyne Contejean, Stéphane Lescuyer et al. · 2010 · 29 citations
1–4 of 4