Details
Name
Alexandra Sofia MendesCluster
Computer ScienceRole
External Research CollaboratorSince
15th February 2018
Nationality
PortugalCentre
High-Assurance SoftwareContacts
+351253604440
alexandra.s.mendes@inesctec.pt
- Menu
2018
Authors
Mendes, A; Ferreira, JF;
Publication
Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.