Angel Zúñiga
Ph.D. Universidad Nacional Autónoma de México (UNAM) 2021
Dissertation:
Semántica natural como marco de verificación de compiladores en Coq
Mathematics Subject Classification: 68—Computer science
Advisor 1: Gerardo Sierra
Advisor 2: Gemma Bel Enguix
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 277399 for the advisor ID.