Sébastien Bardin
Scholar

Sébastien Bardin

Google Scholar ID: 5tee-l8AAAAJ
CEA, List, Université Paris-Saclay
Computer ScienceFormal VerificationLogicSecuritySoftware Engineering
Citations & Impact
All-time
Citations
2,759
 
H-index
31
 
i10-index
53
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)