Clément Pit-Claudel
ORCIDPublication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 15
Publications (10 Years): 15
Publications
- Son Ho, Clément Pit-Claudel
- Aurèle Barrière, Clément Pit-Claudel
- Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind
- Clément Pit-Claudel
- Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel, Qianchuan Ye, Adam Chlipala
- K. Rustan M. Leino, Clément Pit-Claudel
- Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala