Statistics
Publications
1
Citations
15
H-Index
1
Active since
2015
Affiliations
Hélène Leroux is an author at Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier specializing in formal methods, system software, and formal specification.
Publications per year
2015–2015
1
1