Xavier Leroy
0000-0002-8971-9171
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, programming, and type systems
(130)
Formal Methods in Verification
(81)
Renal cell carcinoma treatment
(74)
Prostate Cancer Diagnosis and Treatment
(54)
Prostate Cancer Treatment and Research
(51)
Affiliations
Université Claude Bernard Lyon 1
Centre National de la Recherche Scientifique
University of Mons
Association for Computing Machinery
Institut national de recherche en informatique et en automatique