2
Publications
23
Citations
2
H-Index
2010
Active since
Ludovic Mignot is an author at Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes specializing in formal methods, automated reasoning, and computer science.
Publications per year
2010–2014
2
2
Rows per page
1–2 of 2