Coq Community Survey 2022: Summary of Results
2022 · HAL (Le Centre pour la Communication Scientifique Directe) · 0 citations
A
Ana de Almeida Borges
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
0
Papers
0
Citations
Ana de Almeida Borges is an academic researcher.
ORCID: 0000-0001-5152-198XPapers by this author
worksChat about Author
Papers
Chat
Click to start Chat