Search

Barcelona Group on Pure and Applied Proof Theory

Barcelona Group on Pure and Applied Proof Theory

People
Projects
Events
Publications
Various Links

Prometheuss

Apr 6, 2021 Logic, Verification, Software

Go to Project Site

Related

Industrial Doctorate Program (Sofía Santiago)
Industrial Doctorate Program (Alfonso Alfaro)
Industrial Doctorate Program (Ana Borges)
Industrial Doctorate Program (Esperanza Buitrago)
Industrial Doctorate Program (Nika Pona)

© UB Logic 2023. This website does not use any cookies. The handling of any information introduced by the user, personal or otherwise, complies with the latest GDRP regulation.

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite