Léo Robert

Léo Robert is an author at National Institute of Advanced Industrial Science and Technology specializing in computer science, computing, and deductive verification.

Publications per year

2020–2023

5

Publications

5