conf.researchr.org / Olivier Bouissou
Olivier Bouissou

Registered user since Thu 21 Nov 2024

Name:Olivier Bouissou
Country:United States
Affiliation:Amazon Web Services
Research interests:Formal verification

Contributions