Statistics
Publications
1
Citations
36
H-Index
1
Active since
2003
Affiliations
Y. Le Treon is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in formal methods, computer science, and design for testability.
Publications per year
2003–2003
1
1
1–1 of 1