conf.researchr.org / Daniel Mercier

Registered user since Mon 21 Jun 2021

Name:Daniel Mercier
Country:France
Affiliation:AdaCore
GitHub: https://github.com/danielmercier

Contributions