Statistics
Publications
1
Citations
403
H-Index
1
Active since
1999
Affiliations
Rodolphe Ortalo is an author at Centre National de la Recherche Scientifique specializing in formal verification, information security, and program analysis.
Publications per year
1999–1999
1
1