Fingerprint
Dive into the research topics where Pedro Miguel Laforêt Barroso is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
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
-
Animated logic: Correct functional conversion to conjunctive normal form
Barroso, P., Pereira, M. & Ravara, A., 2020, In: CEUR Workshop Proceedings. 2752, p. 1-20 20 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)12 Downloads (Pure)