Statistics
Publications
2
Citations
40
H-Index
2
Active since
2010
Affiliations
Mohamed Iguernelala is an author at Laboratoire de Recherche en Informatique specializing in computer science, computing, and formal methods.
Publications per year
2010–2013
2
2
Software - The Alt-Ergo theorem prover
Sylvain Conchon, Évelyne Contejean, Stéphane Lescuyer et al. · 2010 · 29 citations
1–2 of 2