No photo of Pedro Miguel Laforêt Barroso

View Scopus Profile

Pedro Miguel Laforêt Barroso

Student - Programa Doutoral em Informática

 https://orcid.org/0000-0003-2003-1851

  • DI - Departamento de Informática
    Faculdade de Ciências e Tecnologia/UNL
    Edifício II
    Campus de Caparica
    2829-516 Caparica

    Portugal

Calculated based on number of publications stored in Pure and citations from Scopus
20202023

Research activity per year

  • 1 Conference contribution
  • 1 Conference article
Filter
Conference contribution

Search results

  • 2023

    Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable

    Barroso, P., Pereira, M. & Ravara, A., 1 Feb 2023, Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. Lal, A. & Tonetta, S. (eds.). Cham: Springer, p. 20-32 13 p. (Lecture Notes in Computer Science; vol. 13800).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Your message has successfully been sent.
Your message was not sent due to an error.