Statistics
Publications
2
Citations
36
H-Index
2
Active since
1999
Affiliations
NTT (Germany)(Current)
Luis Mandel is an author at NTT (Germany) specializing in automated reasoning, formal verification, and engineering.
Publications per year
1999–2022
2
2
Luis Mandel, Marcelo Campo, Analı́a Amandi et al. · 1999 · 11 citations
1–2 of 2