Luis Mandel

LM

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

Publications

2