conf.researchr.org / Francisco Ferreira
Registered user since Fri 13 Nov 2020
Name:Francisco Ferreira
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://www.doc.ic.ac.uk/~fferre16/
Contributions
2021
2020
SPLASH
- Session Chair of F-3B (part of OOPSLA)
- Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track
- Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track
- Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track