Statistics
Publications
1
Citations
25
H-Index
1
Active since
2020
Affiliations
Université Paris Cité(Current)
Thomas Letan is an author at Université Paris Cité specializing in coq, runtime verification, and deductive verification.
Publications per year
2020–2020
1
1
1–1 of 1